3572 search results - page 140 / 715 » Nominal Logic Programming |
126
click to vote
ACL
2012
13 years 3 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires â€...
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
VR
1993
IEEE
15 years 4 months ago
1993
IEEE
The MR Toolkit Peer Package is an extension to the MR Toolkit that allows multiple independent MR Toolkit applications to communicate with one another across the Internet. The mas...
122
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
123
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...