The following pages link to Jan Šefránek (Q588374):
Displaying 35 items.
- Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
- (Q679334) (redirect page) (← links)
- Executable temporal logic for non-monotonic reasoning (Q679335) (← links)
- A logic for programming with complex objects (Q686642) (← links)
- A logic of intentions and beliefs (Q689079) (← links)
- Definability with bounded number of bound variables (Q922523) (← links)
- NEWCAT: Parsing natural language using left-associative grammar (Q1085987) (← links)
- Preservation of expressive completeness in temporal models (Q1090324) (← links)
- Interpreting logics of knowledge in propositional dynamic logic (Q1096609) (← links)
- Belief, awareness, and limited reasoning (Q1096610) (← links)
- Some simulation results as to weakly correlated processes (Q1096972) (← links)
- Arithmetical axiomatization of first-order temporal logic (Q1101100) (← links)
- Towards the minimum set of primitive relations in temporal logic (Q1101103) (← links)
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning (Q1114431) (← links)
- Frames in the space of situations (Q1174513) (← links)
- Non-monotonic reasoning. 2nd international workshop, Grassau, FRG, June 15-15, 1988. Proceedings (Q1188542) (← links)
- Rationality, transitivity, and contraposition (Q1190801) (← links)
- Reasoning about partially ordered events (Q1263999) (← links)
- Miracles in formal theories of action (Q1264002) (← links)
- Theory reasoning in connection calculi (Q1276499) (← links)
- A note on the rational closure of knowledge bases with both positive and negative knowledge (Q1387806) (← links)
- The logic system of concept graphs with negation. And its relationship to predicate logic. (Q1418355) (← links)
- Analogy calculus (Q1802070) (← links)
- A general possible worlds framework for reasoning about knowledge and belief (Q1814181) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- Analogical type theory (Q1895393) (← links)
- On the minimum number of logical clauses inferred from examples (Q1919787) (← links)
- Deontic database constraints, violation and recovery (Q1922825) (← links)
- Temporal aspects of the modal logic of subset spaces (Q1960421) (← links)
- (Q2767039) (← links)
- Irrelevant Updates and Nonmonotonic Assumptions (Q3533150) (← links)
- (Q4955329) (← links)
- (Q5392782) (← links)
- Non-standard inferences in description logics (Q5940719) (← links)
- Belief fusion: Aggregating pedigreed belief states (Q5946339) (← links)
