3385 search results - page 345 / 677 » Language, Logic, and the Brain |
213
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
203
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
163
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
235
Voted
DLOG
2011
14 years 10 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
171
Voted
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...