default search action
65. Birthday: Vladimir Lifschitz 2012
- Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce:
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265, Springer 2012, ISBN 978-3-642-30742-3 - Jack Minker:
To Vladimir Lifschitz on His 65th Birthday. 1-13 - Neelakantan Kartha, Esra Erdem, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan:
Vladimir Lifschitz - A Youth at 65. 14-23 - Marcello Balduccini:
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. 24-39 - Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman:
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. 40-56 - Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran:
Parameterized Splitting: A Simple Modification-Based Approach. 57-71 - Nikolaj S. Bjørner, Guido de Caso, Yuri Gurevich:
From Primal Infon Logic with Individual Variables to Datalog. 72-86 - Alexander Bochman
:
Here and There among Logics for Logic Programming. 87-101 - Pedro Cabalar:
Causal Logic Programming. 102-116 - Andrea Calì, Georg Gottlob
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. 117-133 - Xiaoping Chen, Guoqiang Jin, Fangkai Yang:
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions. 134-148 - Stefania Costantini
Strong Equivalence of RASP Programs. 149-163 - James P. Delgrande:
Considerations on Belief Revision in an Action Theory. 164-177 - Marc Denecker
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. 178-194 - Jürgen Dix, Wolfgang Faber
Privacy Preservation Using Multi-context Systems and Default Logic. 195-210 - Thomas Eiter, Cristina Feier
Simulating Production Rules Using ACTHEX. 211-228 - Esra Erdem
Applications of Action Languages in Cognitive Robotics. 229-246 - Wolfgang Faber
The Intelligent Grounder of DLV. 247-264 - Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
Bi-state Logic. 265-278 - Dov M. Gabbay:
An Equational Approach to Logic Programming. 279-295 - Martin Gebser, Roland Kaufmann, Torsten Schaub
Gearing Up for Effective ASP Planning. 296-310 - Yana Todorova, Michael Gelfond:
Toward Question Answering in Travel Domains. 311-326 - Enrico Giunchiglia
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. 327-344 - Katsumi Inoue
Oscillating Behavior of Logic Programs. 345-362 - Tomi Janhunen, Ilkka Niemelä:
Applying Visible Strong Equivalence in Answer-Set Program Transformations. 363-379 - Jianmin Ji, Fangzhen Lin:
From Turner's Logic of Universal Causation to the Logic of GK. 380-385 - Neelakantan Kartha:
Lifschitz and Circumscription. 386-389 - Vladik Kreinovich:
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity. 390-404 - Joohyung Lee:
Reformulating Action Language C+ in Answer Set Programming. 405-421 - Hector J. Levesque, Gerhard Lakemeyer:
The Truth about Defaults. 422-435 - Yuliya Lierler, Peter Schüller
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. 436-453 - Jorge Lobo
Declarative Distributed Computing. 454-470 - Victor W. Marek, Jeffrey B. Remmel:
Disjunctive Programs with Set Constraints. 471-486 - Grigori Mints:
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas. 487-491 - Johannes Oetsch
Stepwise Debugging of Description-Logic Programs. 492-508 - Enrico Pontelli
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. 509-526 - Hannes Strass, Michael Thielscher:
A Language for Default Reasoning about Actions. 527-542 - Miroslaw Truszczynski:
Connecting First-Order ASP and the Logic FO(ID) through Reducts. 543-559 - Sandeep Chintabathina, Richard Watson:
A New Incarnation of Action Language H. 560-575 - Jia-Huai You, Yi-Dong Shen, Kewen Wang
Well-Supported Semantics for Logic Programs with Generalized Rules. 576-591
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.
last updated on 2024-09-28 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: