Pages that link to "Item:Q2845119"
From MaRDI portal
The following pages link to Theory and Practice of Logic Programming (Q2845119):
Displaying 50 items.
- Relating weight constraint and aggregate programs: semantics and representation (Q2845120) (← links)
- Semantics for possibilistic disjunctive programs (Q2845121) (← links)
- Representation sharing for Prolog (Q2845123) (← links)
- Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124) (← links)
- Concurrent goal-based execution of constraint handling rules (Q2884254) (← links)
- Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs (Q2884255) (← links)
- Active integrity constraints and revision programming (Q2884257) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- Book review of: W. Li, Mathematical logic. Foundations for information science (Q2884259) (← links)
- The YAP prolog system (Q2893087) (← links)
- SICStus Prolog -- the first 25 years (Q2893089) (← links)
- SWI-Prolog (Q2893092) (← links)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)
- \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP (Q2893096) (← links)
- XSB: extending Prolog with tabled logic programming (Q2893097) (← links)
- The language features and architecture of B-Prolog (Q2893099) (← links)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- On the implementation of GNU Prolog (Q2893102) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- A design and implementation of the extended Andorra model (Q2909520) (← links)
- Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Special issue: Selected papers based on the presentations at the 28th international conference on logic programming, ICLP, Budapest, Hungary, September 4--8, 2012 (Q2918998) (← links)
- Introduction to the 30th International Conference on Logic Programming Special Issue (Q2931247) (← links)
- Dynamic Consistency Checking in Goal-Directed Answer Set Programming (Q2931249) (← links)
- Tabling, Rational Terms, and Coinduction Finally Together! (Q2931251) (← links)
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (Q2931255) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- A Linear Logic Programming Language for Concurrent Programming over Graph Structures (Q2931260) (← links)
- SUNNY: a Lazy Portfolio Approach for Constraint Solving (Q2931261) (← links)
- Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (Q2931262) (← links)
- Pengines: Web Logic Programming Made Easy (Q2931263) (← links)
- Incremental Tabling in Support of Knowledge Representation and Reasoning (Q2931264) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← links)
- Causal Graph Justifications of Logic Programs (Q2931267) (← links)
- On Termination, Confluence and Consistent CHR-based Type Inference (Q2931268) (← links)
- Contextual Abductive Reasoning with Side-Effects (Q2931270) (← links)
- A Proof Theoretic Study of Soft Concurrent Constraint Programming (Q2931271) (← links)
- A Measure of Arbitrariness in Abductive Explanations (Q2931272) (← links)
- Lifted Variable Elimination for Probabilistic Logic Programming (Q2931273) (← links)
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem (Q2931274) (← links)
- On Cascade Products of Answer Set Programs (Q2931275) (← links)
- Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (Q2931276) (← links)
- Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (Q2931277) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- A Module System for Domain-Specific Languages (Q2931279) (← links)
- Abstract Diagnosis for tccp using a Linear Temporal Logic (Q2931280) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
