| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jia-Huai You, Yi-Dong Shen, Kewen Wang |
Well-Supported Semantics for Logic Programs with Generalized Rules.  |
Correct Reasoning  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan Kartha, Esra Erdem 0001, Joohyung Lee, Paolo Ferraris, Wanwan Ren, Yuliya Lierler, Fangkai Yang, Albert Rondan |
Vladimir Lifschitz - A Youth at 65. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Disjunctive Programs with Set Constraints. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque, Gerhard Lakemeyer |
The Truth about Defaults. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Erdem 0001, Joohyung Lee, Yuliya Lierler, David Pearce 0001 (eds.) |
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan Kartha |
Lifschitz and Circumscription. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde |
Bi-state Logic. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande |
Considerations on Belief Revision in an Action Theory. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond |
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Wolfgang Faber 0001, V. S. Subrahmanian |
Privacy Preservation Using Multi-context Systems and Default Logic. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Strass, Michael Thielscher |
A Language for Default Reasoning about Actions. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsumi Inoue, Chiaki Sakama |
Oscillating Behavior of Logic Programs. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yana Todorova, Michael Gelfond |
Toward Question Answering in Travel Domains. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris |
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joohyung Lee |
Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano, David Pearce 0001 |
Strong Equivalence of RASP Programs. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaufmann, Torsten Schaub |
Gearing Up for Effective ASP Planning. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Peter Schüller |
Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Faber 0001, Nicola Leone, Simona Perri |
The Intelligent Grounder of DLV. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar |
Causal Logic Programming. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Connecting First-Order ASP and the Logic FO(ID) through Reducts. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoping Chen, Guoqiang Jin, Fangkai Yang |
Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj Bjørner, Guido de Caso, Yuri Gurevich |
From Primal Infon Logic with Individual Variables to Datalog. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä |
Applying Visible Strong Equivalence in Answer-Set Program Transformations. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Cristina Feier, Michael Fink 0001 |
Simulating Production Rules Using ACTHEX. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep Chintabathina, Richard Watson |
A New Incarnation of Action Language H. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Oetsch, Jörg Pührer, Hans Tompits |
Stepwise Debugging of Description-Logic Programs. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay |
An Equational Approach to Logic Programming. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianmin Ji, Fangzhen Lin |
From Turner's Logic of Universal Causation to the Logic of GK. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bochman |
Here and There among Logics for Logic Programming. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladik Kreinovich |
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigori Mints |
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Franck Le |
Declarative Distributed Computing. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Maurice Bruynooghe, Joost Vennekens |
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Erdem 0001, Volkan Patoglu |
Applications of Action Languages in Cognitive Robotics. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello Balduccini |
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran |
Parameterized Splitting: A Simple Modification-Based Approach. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Minker |
To Vladimir Lifschitz on His 65th Birthday. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Correct Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license