Programming in logic without logic programming
From MaRDI portal
Publication:4593027
DOI10.1017/S1471068416000041zbMath1379.68095arXiv1601.00529OpenAlexW2222166069MaRDI QIDQ4593027
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1601.00529
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Obligation as optimal goal satisfaction ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages ⋮ onlineSPARC: A Programming Environment for Answer Set Programming ⋮ Reactive Answer Set Programming
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reactive computing as model generation
- Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
- A logic-based calculus of events
- Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
- Abductive logic programming agents with destructive databases
- Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
- Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13--15, 2006. Proceedings
- Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings
- Statecharts: a visual formalism for complex systems
- Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings
- From logic programming towards multi-agent systems
- STRIPS: A new approach to the application of theorem proving to problem solving
- A Linear-Logic Semantics for Constraint Handling Rules
- An Agent Language with Destructive Assignment and Model-Theoretic Semantics
- Constraint Handling Rules
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- Theory and practice of constraint handling rules
- The well-founded semantics for general logic programs
- A semantics for a class of stratified production system programs
- The IFF proof procedure for abductive logic programming
- Computational Logic and Human Thinking
- Verifiable agent interaction in abductive logic programming
- FLUX: A logic programming method for reasoning agents
- Sequential abstract-state machines capture sequential algorithms
This page was built for publication: Programming in logic without logic programming