2196 search results - page 164 / 440 » Practical Reasoning Using Values |
113
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
112
click to vote
EWC
2000
15 years 2 months ago
2000
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
120
click to vote
JAIR
2010
15 years 22 days ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
150
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
107
click to vote
PROMAS
2005
Springer
15 years 7 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...