Search results for: Tim French
Artificial Intelligence > 2018 > 256 > C > 35-67
Theoretical Computer Science > 2017 > 665 > C > 87-104
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 193-205
Lecture Notes in Computer Science > AI 2011: Advances in Artificial Intelligence > Session 9: Cognitive Modeling and Simulation Technology > 727-738
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 396-407
Lecture Notes in Computer Science > Knowledge Representation for Agents and Multi-Agent Systems > 51-65
Lecture Notes in Computer Science > AI 2003: Advances in Artificial Intelligence > Belief Revisioii and Theorem Proving > 352-363
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 178-192
Lecture Notes in Computer Science > Universal Access in Human-Computer Interaction. Applications and Services > Well-Being, Health and Rehabilitation Applications > 416-426
IEEE Transactions on Automation Science and Engineering > 2016 > 13 > 2 > 1155 - 1164
Theoretical Computer Science > 2015 > 594 > Complete > 201-222
Formal Aspects of Computing > 2015 > 27 > 5-6 > 917-949
Information and Computation > 2014 > 239 > Complete > 303-339
Journal of Logic, Language and Information > 2014 > 23 > 2 > 169-195