7167 search results - page 73 / 1434 » Answer Set Programming |
140
click to vote
ACL
1990
15 years 5 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
128
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
131
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
155
click to vote
KRDB
1996
15 years 5 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
128
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...