The following pages link to Logic Programming (Q3608641):
Displayed 50 items.
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (Q3608642) (← links)
- Coinductive Logic Programming and Its Applications (Q3608645) (← links)
- Multi-paradigm Declarative Languages (Q3608646) (← links)
- Logic Programming for Knowledge Representation (Q3608647) (← links)
- On Finitely Recursive Programs (Q3608648) (← links)
- Minimal Logic Programs (Q3608649) (← links)
- Generic Tableaux for Answer Set Programming (Q3608650) (← links)
- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (Q3608651) (← links)
- Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (Q3608652) (← links)
- Logic Programming Approach to Automata-Based Decision Procedures (Q3608653) (← links)
- A Logic Programming Framework for Combinational Circuit Synthesis (Q3608655) (← links)
- The Correspondence Between the Logical Algorithms Language and CHR (Q3608656) (← links)
- Observable Confluence for Constraint Handling Rules (Q3608657) (← links)
- Graph Transformation Systems in CHR (Q3608658) (← links)
- Multivalued Action Languages with Constraints in CLP(FD) (Q3608659) (← links)
- Declarative Diagnosis of Temporal Concurrent Constraint Programs (Q3608660) (← links)
- Logic Programs with Abstract Constraint Atoms: The Role of Computations (Q3608661) (← links)
- Resource-Oriented Deadlock Analysis (Q3608662) (← links)
- Static Region Analysis for Mercury (Q3608664) (← links)
- Automatic Binding-Related Error Diagnosis in Logic Programs (Q3608666) (← links)
- Automatic Correctness Proofs for Logic Program Transformations (Q3608667) (← links)
- Core TuLiP Logic Programming for Trust Management (Q3608668) (← links)
- Using Histograms to Better Answer Queries to Probabilistic Logic Programs (Q4649723) (← links)
- Non-discriminating Arguments and Their Uses (Q4649724) (← links)
- Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis (Q4649725) (← links)
- Stabilization of Information Sharing for Queries Answering in Multiagent Systems (Q4649726) (← links)
- Logic Programming for Multiagent Planning with Negotiation (Q4649727) (← links)
- Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (Q4649728) (← links)
- Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)
- Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- A New Approach to Non-termination Analysis of Logic Programs (Q4649732) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
- Debugging for Model Expansion (Q5325763) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- Attributed Data for CHR Indexing (Q5325765) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (Q5325767) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
- Qualified Computations in Functional Logic Programming (Q5325770) (← links)
- Logic Programs under Three-Valued Łukasiewicz Semantics (Q5325771) (← links)
- Demand-Driven Normalisation for ACD Term Rewriting (Q5325772) (← links)
- One More Decidable Class of Finitely Ground Programs (Q5325773) (← links)
- Proving Termination by Invariance Relations (Q5325774) (← links)
- Automating Termination Proofs for CHR (Q5325775) (← links)
- Why Use Datalog to Analyze Programs? (Q5449586) (← links)
- Semantic Web: The Story of the RIFt so Far (Q5449587) (← links)
- Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks (Q5449588) (← links)
- Tableau Calculi for Answer Set Programming (Q5449589) (← links)