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)
- Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4. (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)
- ECL<sup>i</sup>PS<sup>e</sup> – 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<tt>GNU Prolog</tt> (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)
- 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)
- The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088) (← links)
