Pages that link to "Item:Q1079962"
From MaRDI portal
The following pages link to MOLOG: A system that extends PROLOG with modal logic (Q1079962):
Displaying 26 items.
- Game semantics for non-monotonic intensional logic programming (Q345702) (← links)
- Logic programming as classical inference (Q898781) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- Strategies for modal resolution: Results and problems (Q920970) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- Programming in temporal-nonmonotonic reasoning (Q1181723) (← links)
- Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic (Q1209339) (← links)
- Proof methods for reasoning about possibility and necessity (Q1310399) (← links)
- The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Multimodal logic programming (Q2503328) (← links)
- CWA Extensions to Multi-Valued Logics (Q3647206) (← links)
- Modal logic programming revisited (Q3647295) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- Multi-modal logic programming using equational and order-sorted logic (Q5096187) (← links)
- Logic Programming (Q5313209) (← links)
- Logics in Artificial Intelligence (Q5394130) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
