2022 search results - page 120 / 405 » Complexity of Non-Monotonic Logics |
DALT
2006
Springer
15 years 4 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
117
click to vote
AAMAS
2008
Springer
15 years 29 days ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
96
Voted
LOGCOM
2007
15 years 20 days ago
2007
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
109
Voted
TVLSI
2002
15 years 13 days ago
2002
Circular built-in self-test (BIST) is a "test per clock" scheme that offers many advantages compared with conventional BIST approaches in terms of low area overhead, simp...
106
click to vote
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...