|
Conferences in DBLP
The Life of a Logic Programming System. [Citation Graph (, )][DBLP]
Uniting the Prolog Community. [Citation Graph (, )][DBLP]
Constraint Handling Rules. [Citation Graph (, )][DBLP]
Back to Interval Temporal Logics. [Citation Graph (, )][DBLP]
Systems Biology: Models and Logics. [Citation Graph (, )][DBLP]
Separation Logic Tutorial. [Citation Graph (, )][DBLP]
Authorization and Obligation Policies in Dynamic Systems. [Citation Graph (, )][DBLP]
Twelve Definitions of a Stable Model. [Citation Graph (, )][DBLP]
Sixty Years of Stable Models. [Citation Graph (, )][DBLP]
The DLV Project: A Tour from Theory and Research to Applications and Market. [Citation Graph (, )][DBLP]
Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. [Citation Graph (, )][DBLP]
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. [Citation Graph (, )][DBLP]
SMS and ASP: Hype or TST?. [Citation Graph (, )][DBLP]
Quo Vadis Answer Set Programming? [Citation Graph (, )][DBLP]
Answer Set Programming without Unstratified Negation. [Citation Graph (, )][DBLP]
Here's the Beef: Answer Set Programming ! [Citation Graph (, )][DBLP]
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. [Citation Graph (, )][DBLP]
Dynamic Programming Algorithms as Products of Weighted Logic Programs. [Citation Graph (, )][DBLP]
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. [Citation Graph (, )][DBLP]
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. [Citation Graph (, )][DBLP]
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. [Citation Graph (, )][DBLP]
On the Efficient Execution of ProbLog Programs. [Citation Graph (, )][DBLP]
Engineering an Incremental ASP Solver. [Citation Graph (, )][DBLP]
Concurrent and Local Evaluation of Normal Programs. [Citation Graph (, )][DBLP]
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. [Citation Graph (, )][DBLP]
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. [Citation Graph (, )][DBLP]
Towards Ludics Programming: Interactive Proof Search. [Citation Graph (, )][DBLP]
Declarative Semantics for Active Integrity Constraints. [Citation Graph (, )][DBLP]
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. [Citation Graph (, )][DBLP]
Negative Ternary Set-Sharing. [Citation Graph (, )][DBLP]
Termination of Narrowing Using Dependency Pairs. [Citation Graph (, )][DBLP]
Dynamic Analysis of Bounds Versus Domain Propagation. [Citation Graph (, )][DBLP]
Lparse Programs Revisited: Semantics and Representation of Aggregates. [Citation Graph (, )][DBLP]
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. [Citation Graph (, )][DBLP]
Abstract Answer Set Solvers. [Citation Graph (, )][DBLP]
Partial Functions and Equality in Answer Set Programming. [Citation Graph (, )][DBLP]
Computable Functions in ASP: Theory and Implementation. [Citation Graph (, )][DBLP]
Composing Normal Programs with Function Symbols. [Citation Graph (, )][DBLP]
Verification from Declarative Specifications Using Logic Programming. [Citation Graph (, )][DBLP]
Prolog Based Description Logic Reasoning. [Citation Graph (, )][DBLP]
Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. [Citation Graph (, )][DBLP]
Optimization of CHR Propagation Rules. [Citation Graph (, )][DBLP]
Termination Analysis of CHR Revisited. [Citation Graph (, )][DBLP]
Transactions in Constraint Handling Rules. [Citation Graph (, )][DBLP]
Cadmium: An Implementation of ACD Term Rewriting. [Citation Graph (, )][DBLP]
Quantified Equilibrium Logic and Foundations for Answer Set Programs. [Citation Graph (, )][DBLP]
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. [Citation Graph (, )][DBLP]
Relativized Hyperequivalence of Logic Programs for Modular Programming. [Citation Graph (, )][DBLP]
Program Correspondence under the Answer-Set Semantics: The Non-ground Case. [Citation Graph (, )][DBLP]
Efficient Algorithms for Functional Constraints. [Citation Graph (, )][DBLP]
Two WAM Implementations of Action Rules. [Citation Graph (, )][DBLP]
Constraint-Level Advice for Shaving. [Citation Graph (, )][DBLP]
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. [Citation Graph (, )][DBLP]
Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. [Citation Graph (, )][DBLP]
Safe Formulas in the General Theory of Stable Models (Preliminary Report). [Citation Graph (, )][DBLP]
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
TopLog: ILP Using a Logic Program Declarative Bias. [Citation Graph (, )][DBLP]
Towards Typed Prolog. [Citation Graph (, )][DBLP]
Environment Reuse in the WAM. [Citation Graph (, )][DBLP]
Logic Engines as Interactors. [Citation Graph (, )][DBLP]
Global Storing Mechanisms for Tabled Evaluation. [Citation Graph (, )][DBLP]
Thread-Based Competitive Or-Parallelism. [Citation Graph (, )][DBLP]
A Logic Language with Stable Model Semantics for Social Reasoning. [Citation Graph (, )][DBLP]
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. [Citation Graph (, )][DBLP]
Removing Redundancy from Answer Set Programs. [Citation Graph (, )][DBLP]
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. [Citation Graph (, )][DBLP]
An Implementation of Extended P-Log Using XASP. [Citation Graph (, )][DBLP]
Compiling and Executing Declarative Modeling Languages to Gecode. [Citation Graph (, )][DBLP]
Telecommunications Feature Subscription as a Partial Order Constraint Problem. [Citation Graph (, )][DBLP]
A Constraint Logic Programming Approach to Automated Testing. [Citation Graph (, )][DBLP]
Turing-Complete Subclasses of CHR. [Citation Graph (, )][DBLP]
A Soft Approach to Multi-objective Optimization. [Citation Graph (, )][DBLP]
A Multi-theory Logic Language for the World Wide Web. [Citation Graph (, )][DBLP]
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). [Citation Graph (, )][DBLP]
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. [Citation Graph (, )][DBLP]
An Algorithm for Sophisticated Code Matching in Logic Programs. [Citation Graph (, )][DBLP]
Trace Analysis for Predicting the Effectiveness of Partial Evaluation. [Citation Graph (, )][DBLP]
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. [Citation Graph (, )][DBLP]
Probabilistic and Concurrent Models for Security. [Citation Graph (, )][DBLP]
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. [Citation Graph (, )][DBLP]
Development of an Automatic Testing Environment for Mercury. [Citation Graph (, )][DBLP]
Resolving CSP with Naming Games. [Citation Graph (, )][DBLP]
Biosequence Analysis in PRISM. [Citation Graph (, )][DBLP]
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint. [Citation Graph (, )][DBLP]
Extracting and Reasoning about Web Data. [Citation Graph (, )][DBLP]
Managing Quality of Service with Soft Constraints. [Citation Graph (, )][DBLP]
TopLog: ILP Using a Logic Program Declarative Bias. [Citation Graph (, )][DBLP]
Generalising Constraint Solving over Finite Domains. [Citation Graph (, )][DBLP]
Detection of Security Vulnerabilities Using Guided Model Checking. [Citation Graph (, )][DBLP]
|