3773 search results - page 582 / 755 » Logical Reasoning |
160
Voted
AAAI
1990
15 years 6 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
127
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
153
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...
267
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
175
click to vote
CLIMA
2006
15 years 6 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...