Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/deductive/deductive95.bht:"
@inproceedings{DBLP:conf/deductive/AzevedoM95, author = {Paulo Jorge de Sousa Azevedo and Danilo Montesi}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {71--80}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Wed, 04 Dec 2013 14:42:57 +0100}, biburl = {https://dblp.org/rec/conf/deductive/AzevedoM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Christiansen95, author = {Henning Christiansen}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Alternative Reasoning in a Metaprogramming System}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {175--186}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Thu, 08 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Christiansen95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/CiortuzJ95, author = {Liviu{-}Virgil Ciortuz and Mihaela Juganaru}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Towords a Constraint-based Implementation of F-Logic}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {97--109}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/CiortuzJ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/DeneckerDPBS95, author = {Marc Denecker and Guy Duchatelet and Frank Piessens and Kristof Van Belleghem and Danny De Schreye}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Using Event Calculus for Protocol Specification: An Experiment}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {187--201}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/DeneckerDPBS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/DuI95, author = {Xiaoyong Du and Naohiro Ishii}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Reducing the Arity of Recursive Predicates by Realigning Some Predicates}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {57--69}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/deductive/DuI95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Hinkelmann95, author = {Knut Hinkelmann}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {127--141}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Hinkelmann95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Janhunen95, author = {Tomi Janhunen}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Cautious Models for General Logic Programs}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {25--39}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Janhunen95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/KeanT95, author = {Alex Kean and George K. Tsiknis}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {A Computational System for Symbolic Belief Revision}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {159--173}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/KeanT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/LeuschelM95, author = {Michael Leuschel and Bern Martens}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {81--95}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/LeuschelM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/PagnuccoNF95, author = {Maurice Pagnucco and Abhaya C. Nayak and Norman Y. Foo}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {143--158}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/PagnuccoNF95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Papp95, author = {Cristian Papp}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Alternating Fixpoint Semantics for Disjunctive Logic Programs}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {11--23}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Papp95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/Teniente95, author = {Ernest Teniente}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {111--125}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/Teniente95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/YouGYG95, author = {Jia{-}Huai You and Suryanil Ghosh and Li{-}Yan Yuan and Randy Goebel}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {41--55}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Tue, 29 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deductive/YouGYG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/deductive/1995, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, isbn = {3-88457-266-0}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/deductive/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.