3481 search results - page 325 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
162
click to vote
COR
2007
15 years 4 months ago
2007
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
158
click to vote
JAIR
2010
15 years 3 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
135
click to vote
ISTA
2003
15 years 6 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
151
Voted
LANMR
2007
15 years 6 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
160
click to vote
FUIN
2008
15 years 4 months ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...