1948 search results - page 212 / 390 » Formalizing Mirror Theory |
201
Voted
KR
2004
Springer
16 years 13 days ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
210
click to vote
PPDP
2004
Springer
16 years 13 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
178
Voted
IAT
2003
IEEE
16 years 11 days ago
2003
IEEE
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...
189
click to vote
ICAIL
2003
ACM
16 years 10 days ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
161
click to vote
CONTEXT
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...