Sciweavers

3481 search results - page 188 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
FLAIRS
2007
15 years 15 days ago
Prioritized Reasoning in Logic Programming
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of th...
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
82
Voted
ECAI
2008
Springer
14 years 12 months ago
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
Anbu Yue, Weiru Liu
ACL
2008
14 years 11 months ago
An Entity-Mention Model for Coreference Resolution with Inductive Logic Programming
The traditional mention-pair model for coreference resolution cannot capture information beyond mention pairs for both learning and testing. To deal with this problem, we present ...
Xiaofeng Yang, Jian Su, Jun Lang, Chew Lim Tan, Ti...
LREC
2010
144views Education» more  LREC 2010»
14 years 11 months ago
Inferring Syntactic Rules for Word Alignment through Inductive Logic Programming
This paper presents and evaluates an original approach to automatically align bitexts at the word level. It relies on a syntactic dependency analysis of the source and target text...
Sylwia Ozdowska, Vincent Claveau
66
Voted
FLAIRS
1998
14 years 11 months ago
Incorporating Specificity in Extended Logic Programs for Belief Revision
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
Berilhes Borges Garcia, José Gabriel Pereir...