Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu logic reasoning!
Hier klicken für Ihr Exposé |
Andrei Voronkov
Miki Hermann / Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, …
Lena Kurzen
A Logic for Cooperation, Actions and Preferences Lena Kurzen Univ ersiteitvan Amsterdam L.M.Kurzen@uva.nl Abstract In this paper, a logic for reasoning about …
Philipp Hanschke
Terminological Reasoning with Constraint Handling Rules – Thom Frühwirth, Philipp Hanschke - 1994 326: Theory and Practice of Constraint Handling, logic
Michael Kifer
reasoningweb.org/2005/teaching-material/…: Michael Kifer. … logic …
Robert Milnikel
1997; 1 : Robert Milnikel Jr.: Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR '97) Dagstuhl, Germany, 28-31 July 1997.
Harold Boley
... Logic Programming Languages ..... 193 John Hannan Terminological Reasoning and Partial Inductive Definitions ..... 221 Philipp Hanschke ...
Ewa Orlowska
... hybrid reasoning systems, applications of logic-based systems. * Invited Speakers. Georg Gottlob, Ewa Orlowska, Teodor Przymusinski. * Program Committee.
Anni-Yasmin Turhan
Volker Haarslev , Ralf Möller , Anni-Yasmin Turhan, Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics, Proceedings of the …
Sven-Erik Bornscheuer
Journal of Logic Programming, Volume 31, 1997: Reasoning about Action and Change. Kristof Van Belleghem, Marc … Fangzhen Lin, Raymond Reiter: Rules as Actions: …
Pascal Hitzler
reasoning : fab.schalljugend: Markus Krötzsch, Pascal Hitzler, Denny Vrandecic :: How to reason with OWL in a logic programming system Das PDF beschreibt Schlussfolgerungsmechanismen …
Raffaella Bernardi
Reasoning with Categorial Grammar Logic: Reasoning with Categorial Grammar Logic. Raffaella Bernardi. Universiteit Utrecht – NL … The article presents …
Christoph Kreitz
… for-mul…licative-exponential-linear-logic:2000, author = (Christoph Kreitz and … Automated Reasoning), title = ((A Matrix Characterization for Mul…licative …
Alexander Hieke
Hannes Leitgeb, Alexander Hieke: Circular Languages. Journal … of Logic, Language and Information 13(3): 341-371 (2004) 2003; … Nonmonotonic Reasoning by …
Bart Verheij
Bart Verheij: Henry Prakken (1997). Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law. 35-65 ; Alan Tyree: James Popple, A …
Amine Chaieb
Workshop on Empirically Successful Automated Reasoning in Higher-Order Logics (ESHOL 2005) Symposium on Logic for Programming, … Amine Chaieb and Tobias Nipkow …
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ