453 search results - page 49 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
176
click to vote
CISIS
2009
IEEE
16 years 27 days ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
146
click to vote
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
139
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
147
Voted
SEMWEB
2009
Springer
16 years 18 days ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
186
click to vote
LOPSTR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...