5198 search results - page 243 / 1040 » A Logic of Agent Programs |
120
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Im...
121
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
149
click to vote
IFIP12
2009
15 years 3 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
175
click to vote
RR
2009
Springer
16 years 12 days ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
163
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...