|
Conferences in DBLP
SAT, SMT and Applications. [Citation Graph (, )][DBLP]
Logic-Based 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 CR-Prolog 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 Bottom-Up Evaluation of Finitely Recursive Programs. [Citation Graph (, )][DBLP]
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. [Citation Graph (, )][DBLP]
Complexity of the Stable Model Semantics for Queries on Incomplete Databases. [Citation Graph (, )][DBLP]
Manifold Answer-Set Programs for Meta-reasoning. [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 Module-Based Framework for Multi-language 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]
Max-ASP: 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 High-Level Reasoning and Low-Level Control. [Citation Graph (, )][DBLP]
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. [Citation Graph (, )][DBLP]
An ASP-Based System for e-Tourism. [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]
CR-Prolog as a Specification Language for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . [Citation Graph (, )][DBLP]
Computing Weighted Solutions in Answer Set Programming. [Citation Graph (, )][DBLP]
Representing Multi-agent 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 Conflict-Driven 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 Conflict-Driven Answer Set Solver clasp: Progress Report. [Citation Graph (, )][DBLP]
System f2lp - Computing Answer Sets of First-Order Formulas. [Citation Graph (, )][DBLP]
The First Version of a New ASP Solver : ASPeRiX. [Citation Graph (, )][DBLP]
An ASP-Based Data Integration System. [Citation Graph (, )][DBLP]
Gorgias-C: 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]
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming. [Citation Graph (, )][DBLP]
HAPLO-ASP: Haplotype Inference Using Answer Set Programming. [Citation Graph (, )][DBLP]
Using Answer Set Programming to Enhance Operating System Discovery. [Citation Graph (, )][DBLP]
Non-monotonic 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 Not-Entirely-Well-Informed 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 Real-World 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]
|