scientific article; zbMATH DE number 788036
From MaRDI portal
Publication:4844167
Cited in
(48)- On combining ontologies and rules
- The Prolog debugger and declarative programming
- In praise of impredicativity: a contribution to the formalization of meta-programming
- Program development schemata as derived rules
- Some classes of Prolog programs inferable from positive data
- On definite program answers and least Herbrand models
- Generating contrastive explanations for inductive logic programming based on a near miss approach
- Learning efficient logic programs
- Specifying and verbalising answer set programs in controlled natural language
- scientific article; zbMATH DE number 7453187 (Why is no real title available?)
- On Correctness and Completeness of an n Queens Program
- On the interaction between sharing and linearity
- A constraint logic programming approach for generating all perfect matchings
- A qualitative spatial descriptor of group-robot interactions
- Fifty Years of Prolog and Beyond
- A note on occur-check
- Introducing computer science to high school students through logic programming
- Physics and proof theory
- Co-argumentation Artifact for Agent Societies
- Identification of biological transition systems using meta-interpreted logic programs
- New constructs for the description of combinatorial optimization problems in algebraic modeling languages
- Dynamic graph models
- Ultra-strong machine learning: comprehensibility of programs learned with ILP
- S-semantics -- an example
- Abstract interpretation of resolution-based semantics
- Applying constraint logic programming to SQL semantic analysis
- Schema induction for logic program synthesis
- Lightweight functional logic meta-programming
- Reasoning with infinite stable models
- On completeness of logic programs
- Optimization schemas for parallel implementation of non-deterministic languages and systems
- The fuzzy logic programming language FASILL: design and implementation
- Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles
- Syntactic unification as a geometric operation in free modules over certain rings
- Answering the ``why in answer set programming -- a survey of explanation approaches
- A relaxed condition for avoiding the occur-check
- A backward slicing algorithm for Prolog
- Reporting failures in functional logic programs
- Proving completeness of logic programs with the cut
- \textsc{Tor}: modular search with hookable disjunction
- Proving Arrow's theorem by \texttt{PROLOG}
- Correctness and completeness of logic programs
- Interactive simplifier tracing and debugging in Isabelle
- A geometric interpretation of LD-resolution
- Evolution of rule-based programs
- VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗
- Polynomial-time learnability of logic programs with local variables from entailment
- From Logic to Functional Logic Programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4844167)
