
Conferences in DBLP
SAT, SMT and Applications. [Citation Graph (, )][DBLP]
LogicBased Modeling in Systems Biology. [Citation Graph (, )][DBLP]
Integrating Answer Set Programming and Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. [Citation Graph (, )][DBLP]
Splitting a CRProlog Program. [Citation Graph (, )][DBLP]
Contextual Argumentation in Ambient Intelligence. [Citation Graph (, )][DBLP]
Argumentation Context Systems: A Framework for Abstract Group Argumentation. [Citation Graph (, )][DBLP]
A Revised Concept of Safety for General Answer Set Programs. [Citation Graph (, )][DBLP]
Magic Sets for the BottomUp Evaluation of Finitely Recursive Programs. [Citation Graph (, )][DBLP]
RelevanceDriven Evaluation of Modular Nonmonotonic Logic Programs. [Citation Graph (, )][DBLP]
Complexity of the Stable Model Semantics for Queries on Incomplete Databases. [Citation Graph (, )][DBLP]
Manifold AnswerSet Programs for Metareasoning. [Citation Graph (, )][DBLP]
A Deductive System for FO(ID) Based on Least Fixpoint Logic. [Citation Graph (, )][DBLP]
Computing Stable Models via Reductions to Difference Logic. [Citation Graph (, )][DBLP]
A ModuleBased Framework for Multilanguage Constraint Modeling. [Citation Graph (, )][DBLP]
Induction on Failure: Learning Connected Horn Theories. [Citation Graph (, )][DBLP]
On Reductive Semantics of Aggregates in Answer Set Programming. [Citation Graph (, )][DBLP]
A First Order Forward Chaining Approach for Answer Set Computing. [Citation Graph (, )][DBLP]
Knowledge Qualification through Argumentation. [Citation Graph (, )][DBLP]
Simple Random Logic Programs. [Citation Graph (, )][DBLP]
MaxASP: Maximum Satisfiability of Answer Set Programs. [Citation Graph (, )][DBLP]
Belief Revision with Bounded Treewidth. [Citation Graph (, )][DBLP]
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. [Citation Graph (, )][DBLP]
A Default Approach to Semantics of Logic Programs with Constraint Atoms. [Citation Graph (, )][DBLP]
The Complexity of Circumscriptive Inference in Post's Lattice. [Citation Graph (, )][DBLP]
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. [Citation Graph (, )][DBLP]
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. [Citation Graph (, )][DBLP]
Weight Constraint Programs with Functions. [Citation Graph (, )][DBLP]
Bridging the Gap between HighLevel Reasoning and LowLevel Control. [Citation Graph (, )][DBLP]
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. [Citation Graph (, )][DBLP]
An ASPBased System for eTourism. [Citation Graph (, )][DBLP]
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. [Citation Graph (, )][DBLP]
Translating Preferred Answer Set Programs to Propositional Logic. [Citation Graph (, )][DBLP]
CRProlog as a Specification Language for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]
Modeling Multiagent Domains in an Action Languages: An Empirical Study Using . [Citation Graph (, )][DBLP]
Computing Weighted Solutions in Answer Set Programming. [Citation Graph (, )][DBLP]
Representing Multiagent Planning in CLP. [Citation Graph (, )][DBLP]
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. [Citation Graph (, )][DBLP]
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs. [Citation Graph (, )][DBLP]
Layer Supported Models of Logic Programs. [Citation Graph (, )][DBLP]
Applying ASP to UML Model Validation. [Citation Graph (, )][DBLP]
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach. [Citation Graph (, )][DBLP]
Social Default Theories. [Citation Graph (, )][DBLP]
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. [Citation Graph (, )][DBLP]
An ASP System with Functions, Lists, and Sets. [Citation Graph (, )][DBLP]
A Simple Distributed ConflictDriven Answer Set Solver. [Citation Graph (, )][DBLP]
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. [Citation Graph (, )][DBLP]
On the Input Language of ASP Grounder Gringo. [Citation Graph (, )][DBLP]
The ConflictDriven Answer Set Solver clasp: Progress Report. [Citation Graph (, )][DBLP]
System f2lp  Computing Answer Sets of FirstOrder Formulas. [Citation Graph (, )][DBLP]
The First Version of a New ASP Solver : ASPeRiX. [Citation Graph (, )][DBLP]
An ASPBased Data Integration System. [Citation Graph (, )][DBLP]
GorgiasC: Extending Argumentation with Constraint Solving. [Citation Graph (, )][DBLP]
ANTON: Composing Logic and Logic Composing. [Citation Graph (, )][DBLP]
Modelling Normative Frameworks Using Answer Set Programing. [Citation Graph (, )][DBLP]
Generating Optimal Code Using Answer Set Programming. [Citation Graph (, )][DBLP]
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. [Citation Graph (, )][DBLP]
PHYLOASP: Phylogenetic Systematics with Answer Set Programming. [Citation Graph (, )][DBLP]
HAPLOASP: Haplotype Inference Using Answer Set Programming. [Citation Graph (, )][DBLP]
Using Answer Set Programming to Enhance Operating System Discovery. [Citation Graph (, )][DBLP]
Nonmonotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System. [Citation Graph (, )][DBLP]
Some DLV Applications for Knowledge Management. [Citation Graph (, )][DBLP]
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. [Citation Graph (, )][DBLP]
Optimal Multicore Scheduling: An Application of ASP Techniques. [Citation Graph (, )][DBLP]
From Data Integration towards Knowledge Mediation. [Citation Graph (, )][DBLP]
Integrating Answer Set Modules into Agent Programs. [Citation Graph (, )][DBLP]
What Next for ASP? (A NotEntirelyWellInformed Opinion). [Citation Graph (, )][DBLP]
Using Lightweight Inference to Solve Lightweight Problems. [Citation Graph (, )][DBLP]
Present and Future Challenges for ASP Systems. [Citation Graph (, )][DBLP]
ASP: The Future Is Bright. [Citation Graph (, )][DBLP]
Exploiting ASP in RealWorld Applications: Main Strengths and Challenges. [Citation Graph (, )][DBLP]
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. [Citation Graph (, )][DBLP]
Towards an Embedded Approach to Declarative Problem Solving in ASP. [Citation Graph (, )][DBLP]
The Second Answer Set Programming Competition. [Citation Graph (, )][DBLP]
