-
1
-
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
-
10
-
Foundations and Extensions of Answer Set Programming: The Logical Approach
-
12
-
Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages
-
13
-
Modularity of P-Log Programs
-
26
-
Symmetry Breaking for Distributed Multi-Context Systems
-
40
-
Splitting an Argumentation Framework
-
54
-
Reactive Answer Set Programming
-
67
-
Communicating ASP and the Polynomial Hierarchy
-
80
-
Loop Formulas for Splitable Temporal Logic Programs
-
93
-
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
-
107
-
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
-
120
-
Relational Information Exchange and Aggregation in Multi-Context Systems
-
134
-
Stepping through an Answer-Set Program
-
148
-
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates
-
161
-
Strong Equivalence of Logic Programs with Abstract Constraint Atoms
-
174
-
Back and Forth between Rules and <Emphasis FontCategory="SansSerif">SE</Emphasis>-Models
-
187
-
What Are the Necessity Rules in Defeasible Reasoning?
-
193
-
Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic
-
199
-
On Influence and Contractions in Defeasible Logic Programming
-
205
-
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations
-
211
-
Aggregates in Answer Set Optimization
-
217
-
Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis
-
223
-
Contingency-Based Equilibrium Logic
-
229
-
Weight Constraints with Preferences in ASP
-
236
-
Parametrized Equilibrium Logic
-
242
-
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison
-
248
-
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
-
254
-
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
-
260
-
New Semantics for Epistemic Specifications
-
266
-
<Emphasis FontCategory="SansSerif">cmMUS</Emphasis>: A Tool for Circumscription-Based MUS Membership Testing
-
272
-
Transaction Logic with External Actions
-
278
-
An Application of Clasp in the Study of Logics
-
284
-
Industrial-Size Scheduling with ASP+CP
-
297
-
Secommunity: A Framework for Distributed Access Control
-
304
-
Itemset Mining as a Challenge Application for Answer Set Enumeration
-
311
-
Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots
-
317
-
ASPIDE: Integrated Development Environment for Answer Set Programming
-
331
-
ASP-Prolog for Negotiation among Dishonest Agents
-
345
-
Advances in <Emphasis Type="Italic">gringo</Emphasis> Series 3
-
352
-
A Portfolio Solver for Answer Set Programming: Preliminary Report
-
358
-
plasp: A Prototype for PDDL-Based Planning in ASP
-
364
-
Cluster-Based ASP Solving with <Emphasis Type="Italic">claspar</Emphasis>
-
370
-
<Literal>STeLP</Literal> – A Tool for Temporal Answer Set Programming
-
376
-
Compiling Answer Set Programs into Event-Driven Action Rules
-
382
-
<Emphasis FontCategory="SansSerif">VIDEAS</Emphasis>: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology
-
388
-
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track