2920 search results - page 151 / 584 » Finite information logic |
118
click to vote
EEE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
97
Voted
CLEF
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
100
Voted
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
118
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
124
Voted
FLAIRS
2000
15 years 2 months ago
2000
In recent years, fuzzy logic has been applied successfully to a wide range of problems. This paper shows how it can be utilized in the area of spatial reasoning, in particular geo...