Sciweavers

3481 search results - page 188 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
FLAIRS
2007
15 years 5 months 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
ECAI
2008
Springer
15 years 5 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
132
Voted
ACL
2008
15 years 4 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»
15 years 4 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
FLAIRS
1998
15 years 4 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...