10568 search results - page 435 / 2114 » Computer Intelligence and Formalization |
107
click to vote
IBERAMIA
2004
Springer
15 years 10 months ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
150
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
137
click to vote
EASSS
2001
Springer
15 years 9 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...
160
click to vote
AGENTCL
2000
Springer
15 years 9 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
126
click to vote
APN
1999
Springer
15 years 9 months ago
1999
Springer
: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key bene...