4126 search results - page 303 / 826 » Set based logic programming |
169
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
141
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
159
Voted
ACE
2003
15 years 6 months ago
2003
This paper seeks to inform instructors responsible for designing introductory programming courses within a university setting. In particular, guidelines for choosing programming l...
143
click to vote
AAAI
2007
15 years 7 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
173
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...