Computational situation theory
ACM SIGART Bulletin
Towards situation-oriented programming languages
ACM SIGPLAN Notices
John Barwise and Lawrence Moss, Vicious Circles: On the mathematics of Non-Wellfounded Phnenomena
Journal of Logic, Language and Information
Minds and Machines
Teleology as Higher-Order Causation: A Situation-Theoretic Account
Minds and Machines
On Knowledge, Strings, and Paradoxes
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Computer proofs about finite and regular sets: the unifying concept of subvariance
Journal of Symbolic Computation - Special issue: First order theorem proving
Mathematical Structures in Computer Science
Book review: reading McDermott
Artificial Intelligence
Journal of Logic, Language and Information
Hypercomputation by definition
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Operational pointer semantics: solution to self-referential puzzles I
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Three views of common knowledge
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Consciousness, Agents and the Knowledge Game
Minds and Machines
Situated nonmonotonic temporal reasoning with BABY‐SIT
AI Communications
Gibsonian Affordances for Roboticists
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
The Method of Levels of Abstraction
Minds and Machines
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing V+Adj in situation semantics
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
A co-inductive language and truth degrees
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
Formal foundations for situation awareness based on dependent type theory
Information Fusion
Yablo's paradox, a coinductive language and its semantics
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |