XSB
From MaRDI portal
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1615252 (Why is no real title available?)
- Memoing evaluation for constraint extensions of datalog
- scientific article; zbMATH DE number 2043558 (Why is no real title available?)
- Linear tabulated resolution based on Prolog control strategy
- Transformation-based bottom-up computation of the well-founded model
- Logic Programming
- xclingo
- Query answering in resource-based answer set semantics
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Using methods of declarative logic programming for intelligent information agents
- Semantics-based program analysis for logic-based languages using XSB
- ACIDE
- scientific article; zbMATH DE number 2085276 (Why is no real title available?)
- On the complexity analysis of static analyses
- scientific article; zbMATH DE number 1956546 (Why is no real title available?)
- Implementation alternatives for bottom-up evaluation
- Constructive negation under the well-founded semantics
- Infinite probability computation by cyclic explanation graphs
- Logic Programming
- Euro-Par 2004 Parallel Processing
- Abduction in well-founded semantics and generalized stable models via tabled dual programs
- MWeb: a principled framework for modular web rule bases and its semantics
- Tabling, rational terms, and coinduction finally together!
- scientific article; zbMATH DE number 1950447 (Why is no real title available?)
- Preference Logic Grammars: Fixed point semantics and application to data standardization
- Two case studies of semantics execution in Maude: CCS and LOTOS
- \textsc{Tor}: modular search with hookable disjunction
- scientific article; zbMATH DE number 1950744 (Why is no real title available?)
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- scientific article; zbMATH DE number 1950446 (Why is no real title available?)
- Efficient access mechanisms for tabled logic programs
- Incremental analysis of logic programs with assertions and open predicates
- The limits of fixed-order computation
- Logic Programming
- scientific article; zbMATH DE number 1954112 (Why is no real title available?)
- scientific article; zbMATH DE number 5081758 (Why is no real title available?)
- scientific article; zbMATH DE number 1926616 (Why is no real title available?)
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms
- Correctness and completeness of logic programs
- Database Support for Data Mining Applications
- Experimenting with recursive queries in database and logic programming systems
- Logic Programming
- scientific article; zbMATH DE number 5125796 (Why is no real title available?)
- Nonmonotonic reasoning: Towards efficient calculi and implementations
- Adding Evolving Abilities to a Multi-Agent System
- Description, implementation, and evaluation of a generic design for tabled CLP
- A generalized QSQR evaluation method for Horn knowledge bases
- Dynamic reordering of alternatives for definite logic programs
- A linear algebraic approach to Datalog evaluation
- Information flow in tabular interpretations for generalized push-down automata
- Why-provenance information for RDF, rules, and negation
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
- On the decidability and axiomatization of query finiteness in deductive databases
- An abstract machine for efficiently computing queries to well-founded models
- An abstract machine for fixed-order dynamically stratified programs
- Constrained dependencies
- Model checking with probabilistic tabled logic programming
- Reasoning about ER models in a deductive environment
- Logic Programming Approach to Automata-Based Decision Procedures
- A gradual polymorphic type system with subtyping for Prolog
- Managing caching strategies for stream reasoning with reinforcement learning
- scientific article; zbMATH DE number 1926608 (Why is no real title available?)
- Journal on Data Semantics II
- scientific article; zbMATH DE number 1753155 (Why is no real title available?)
- Algorithmic power from declarative use of redundant constraints
- scientific article; zbMATH DE number 1696823 (Why is no real title available?)
- Inspecting side-effects of abduction in logic programs
- Compiling \(\mathrm{input}^\ast\) FO\((\cdot)\) inductive definitions into tabled prolog rules for IDP3
- Tabling with sound answer subsumption
- Tabling for non-monotonic programming
- Loop checks for logic programs with functions
- Minimal and consistent evolution of knowledge bases
- scientific article; zbMATH DE number 1478235 (Why is no real title available?)
- On applying or-parallelism and tabling to logic programs
- Swapping evaluation: a memory-scalable solution for answer-on-demand tabling
- CLPS-B
- SOLAR
- TELOS
- GeneSyst
- HiLog
- TCHR
- LPTP
- N3Logic
- LUPS
- HYPROLOG
- TRIPLE
- LOGEN
- SCASY
- ECCE
- recsy
- Smodels
- DELORES
- clpfd
- Prolog
- Oz
- B-Prolog
- CP-logic
- ProbLog
- PITA
- YAP-Prolog
This page was built for software: XSB
