3773 search results - page 193 / 755 » Logical Reasoning |
132
Voted
CL
2000
Springer
15 years 3 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
124
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
130
Voted
IJCAI
1993
15 years 5 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
127
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...