338 search results - page 20 / 68 » What is Input Output Logic |
121
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
101
Voted
CADE
1999
Springer
15 years 4 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
122
click to vote
AMAI
1999
Springer
15 years 3 days ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
99
Voted
ENTCS
2006
15 years 13 days ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
108
click to vote
ACL
2012
13 years 2 months ago
2012
This paper proposes a data-driven method for concept-to-text generation, the task of automatically producing textual output from non-linguistic input. A key insight in our approac...