6201 search results - page 107 / 1241 » Implementation of Axiomatic Language |
138
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
150
Voted
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
135
click to vote
IJCAI
1997
15 years 5 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
116
click to vote
JSW
2006
15 years 4 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
141
click to vote
JUCS
2006
15 years 4 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...