5378 search results - page 111 / 1076 » Base Logics in Argumentation |
170
Voted
ICCBR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Ambient intelligent systems are defined as being able to perceive their environment, being aware of the presence of people and other agents, and respond intelligently to...
159
click to vote
SGAI
2007
Springer
16 years 5 days ago
2007
Springer
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...
149
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
111
click to vote
COLING
2000
15 years 7 months ago
2000
This paper presents the use of probabilistic class-based lexica for disambiguation in targetword selection. Our method employs minimal but precise contextual information for disam...
152
click to vote
SLOGICA
2008
15 years 6 months ago
2008
In this paper we define a new notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, s...