1368 search results - page 77 / 274 » Personality-Based Practical Reasoning |
145
click to vote
ENC
2004
IEEE
15 years 6 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
124
click to vote
DLOG
2003
15 years 4 months ago
2003
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
144
click to vote
C3S2E
2010
ACM
15 years 4 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
139
click to vote
ENTCS
2007
15 years 2 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
117
click to vote
DAC
2005
ACM
16 years 3 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...