scientific article; zbMATH DE number 54243
From MaRDI portal
Publication:4004424
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic programming (68N17)
Recommendations
- Towards a unified theory of intensional logic programming
- Intensional logic in extensional language
- Logical foundations for programming semantics
- Program logics and their applications
- Theorem proving for intensional logic
- scientific article; zbMATH DE number 3848602
- Advances in intensional logic
- scientific article; zbMATH DE number 10085
- scientific article; zbMATH DE number 86272
- scientific article; zbMATH DE number 26616
Cited in
(18)- Programming in temporal-nonmonotonic reasoning
- Nonclassical logics and information processing. International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
- Order-sorted model theory for temporal executable specifications
- Semantics of temporal classes
- Modality and interrupts
- Tractable reasoning using logic programs with intensional concepts
- Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995
- Intensional logic in context
- On the computational complexity of stratified negation in linear-time temporal logic programming
- Game semantics for non-monotonic intensional logic programming
- scientific article; zbMATH DE number 3843727 (Why is no real title available?)
- scientific article; zbMATH DE number 4043303 (Why is no real title available?)
- scientific article; zbMATH DE number 4058910 (Why is no real title available?)
- Towards a unified theory of intensional logic programming
- Extending Temporal Logic Programming with Choice Predicates Non-determinism
- Foundations of linear-time logic programming
- scientific article; zbMATH DE number 6787693 (Why is no real title available?)
- Temporal disjunctive logic programming
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 Q4004424)
