Abstract is missing.
- From Inductive Logic Programming to Relational Data MiningSaso Dzeroski. 1-14 [doi]
- Answer Set Programming: A Declarative Approach to Solving Search ProblemsIlkka Niemelä. 15-18 [doi]
- Inconsistencies in OntologiesAndrei Voronkov. 19 [doi]
- On Arbitrary Selection Strategies for Basic SuperpositionVladimir Aleksic, Anatoli Degtyarev. 20-28 [doi]
- An Event-Condition-Action Logic Programming LanguageJosé Júlio Alferes, Federico Banti, Antonio Brogi. 29-42 [doi]
- Distance-Based Repairs of DatabasesOfer Arieli, Marc Denecker, Maurice Bruynooghe. 43-55 [doi]
- Natural Deduction Calculus for Linear-Time Temporal LogicAlexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin. 56-68 [doi]
- A STIT-Extension of ATLJan Broersen, Andreas Herzig, Nicolas Troquard. 69-81 [doi]
- On the Logic and Computation of Partial Equilibrium ModelsPedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde. 82-94 [doi]
- Decidable Fragments of Logic Programming with Value InventionFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni. 95-110 [doi]
- On the Issue of Reinstatement in ArgumentationMartin Caminada. 111-123 [doi]
- Comparing Action Descriptions Based on Semantic PreferencesThomas Eiter, Esra Erdem, Michael Fink, Ján Senko. 124-137 [doi]
- Modal Logics of Negotiation and PreferenceUlle Endriss, Eric Pacuit. 138-150 [doi]
- Representing Action Domains with Numeric-Valued FluentsEsra Erdem, Alfredo Gabaldon. 151-163 [doi]
- Model Representation over Finite and Infinite SignaturesChristian G. Fermüller, Reinhard Pichler. 164-176 [doi]
- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation StrategiesSilvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli. 177-189 [doi]
- Analytic Tableau Calculi for KLM Rational Logic RLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. 190-202 [doi]
- On the Semantics of Logic Programs with PreferencesSergio Greco, Irina Trubitsyna, Ester Zumpano. 203-215 [doi]
- A Modularity Approach for a Fragment of ::::ALC::::Andreas Herzig, Ivan José Varzinczak. 216-228 [doi]
- Whatever You SayLuke Hunsberger. 229-241 [doi]
- Automatic Deductive Synthesis of Lisp Programs in the System ALISAYulia Korukhova. 242-252 [doi]
- A Fault-Tolerant Default LogicZhangang Lin, Yue Ma, Zuoquan Lin. 253-265 [doi]
- Reasoning About Actions Using Description Logics with General TBoxesHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. 266-279 [doi]
- Introducing ::::Attempt:::: in a Modal Logic of Intentional ActionEmiliano Lorini, Andreas Herzig, Cristiano Castelfranchi. 280-292 [doi]
- On Herbrand s Theorem for Intuitionistic LogicAlexander V. Lyaletski, Boris Konev. 293-305 [doi]
- Ambiguity Propagating Defeasible Logic and the Well-Founded SemanticsFrederick Maier, Donald Nute. 306-318 [doi]
- Hierarchical ArgumentationSanjay Modgil. 319-332 [doi]
- Anti-prenexing and Prenexing for Modal LogicsCláudia Nalon, Clare Dixon. 333-345 [doi]
- A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ::::ALC::::Linh Anh Nguyen. 346-358 [doi]
- Fuzzy Answer Set ProgrammingDavy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir. 359-372 [doi]
- Reasoning About an Agent Based on Its Revision History with Missing InputsAlexander Nittka. 373-385 [doi]
- Knowledge Base Revision in Description LogicsGuilin Qi, Weiru Liu, David A. Bell. 386-398 [doi]
- Incomplete Knowledge in Hybrid Probabilistic Logic ProgramsEmad Saad. 399-412 [doi]
- A Formal Analysis of KGP AgentsFariba Sadri, Francesca Toni. 413-425 [doi]
- Irrelevant Updates and Nonmonotonic AssumptionsJán Sefránek. 426-438 [doi]
- Towards Top-k Query Answering in Description Logics: The Case of DL-LiteUmberto Straccia. 439-451 [doi]
- Representing Causal Information About a Probabilistic ProcessJoost Vennekens, Marc Denecker, Maurice Bruynooghe. 452-464 [doi]
- A Tool to Facilitate Agent DeliberationDaniel Bryant, Paul J. Krause, Sotiris Moschoyiannis. 465-468 [doi]
- An Implementation of a Lightweight Argumentation Engine for Agent ApplicationsDaniel Bryant, Paul J. Krause. 469-472 [doi]
- A Tool for Answering Queries on Action DescriptionsThomas Eiter, Michael Fink, Ján Senko. 473-476 [doi]
- An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set ProgramsThomas Eiter, Patrick Traxler, Stefan Woltran. 477-480 [doi]
- April - An Inductive Logic Programming SystemNuno A. Fonseca, Fernando M. A. Silva, Rui Camacho. 481-484 [doi]
- optsat: A Tool for Solving SAT Related Optimization ProblemsEnrico Giunchiglia, Marco Maratea. 485-489 [doi]
- Automated Reasoning About Metric and TopologyUllrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. 490-493 [doi]
- The QBFEVAL Web PortalMassimo Narizzano, Luca Pulina, Armando Tacchella. 494-497 [doi]
- A Slicing Tool for Lazy Functional Logic ProgramsClaudio Ochoa, Josep Silva, Germán Vidal. 498-501 [doi]
- ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set SemanticsJohannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran. 502-505 [doi]
- A Logic-Based Tool for Semantic Information ExtractionMassimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà. 506-510 [doi]
- : Tableaux and Resolution for Finite AbductionFernando Soler-Toscano, Ángel Nepomuceno-Fernández. 511-514 [doi]