Multimodal logic programming (Q2503328): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4681370 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4428289 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contributions to the Theory of Logic Programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5688921 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2701979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4698331 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multimodal logic programming using equational and order-sorted logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MOLOG: A system that extends PROLOG with modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342097 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4051550 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4331764 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3339245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4835902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4500376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4454845 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic Programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics in Artificial Intelligence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning About Epistemic States of Agents by Modal Logic Programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4537451 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3791114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4518440 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Semantics of Predicate Logic as a Programming Language / rank | |||
Normal rank |
Latest revision as of 20:24, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Multimodal logic programming |
scientific article |
Statements
Multimodal logic programming (English)
0 references
14 September 2006
0 references
modal logic
0 references
logic programming
0 references
logics of belief
0 references
Kripke models
0 references
MProlog
0 references