Sciweavers

Share
ACL
2012
7 years 9 months ago
Combining Textual Entailment and Argumentation Theory for Supporting Online Debates Interactions
Blogs and forums are widely adopted by online communities to debate about various issues. However, a user that wants to cut in on a debate may experience some difficulties in ext...
Elena Cabrio, Serena Villata
CONCUR
2011
Springer
8 years 7 months ago
Tractable Reasoning in a Fragment of Separation Logic
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
Byron Cook, Christoph Haase, Joël Ouaknine, M...
DLOG
2011
8 years 10 months ago
Status QIO: An Update
We prove co-N2ExpTime-hardness for conjunctive query entailment in the description logic ALCOIF , thus improving the previously known 2ExpTime lower bound. The result transfers to ...
Birte Glimm, Yevgeny Kazakov, Carsten Lutz
ACL
2011
8 years 10 months ago
Types of Common-Sense Knowledge Needed for Recognizing Textual Entailment
Understanding language requires both linguistic knowledge and knowledge about how the world works, also known as common-sense knowledge. We attempt to characterize the kinds of co...
Peter LoBue, Alexander Yates
COLING
2010
9 years 2 months ago
Recognising Entailment within Discourse
Texts are commonly interpreted based on the entire discourse in which they are situated. Discourse processing has been shown useful for inference-based application; yet, most syst...
Shachar Mirkin, Jonathan Berant, Ido Dagan, Eyal S...
EMNLP
2009
9 years 4 months ago
Large-Scale Verb Entailment Acquisition from the Web
Textual entailment recognition plays a fundamental role in tasks that require indepth natural language understanding. In order to use entailment recognition technologies for real-...
Chikara Hashimoto, Kentaro Torisawa, Kow Kuroda, S...
SEMWEB
2010
Springer
9 years 5 months ago
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
Boris Motik
SEMWEB
2010
Springer
9 years 5 months ago
SPARQL beyond Subgraph Matching
We extend the Semantic Web query language SPARQL by defining the semantics of SPARQL queries under the entailment regimes of RDF, RDFS,
Birte Glimm, Markus Krötzsch
MICAI
2010
Springer
9 years 5 months ago
Recognizing Textual Entailment Using a Machine Learning Approach
We present our experiments on Recognizing Textual Entailment based on modeling the entailment relation as a classification problem. As features used to classify the entailment pair...
Miguel Angel Ríos Gaona, Alexander F. Gelbu...
AIML
2000
9 years 8 months ago
Towards a Many-Dimensional Modal Logic for Semantic Processing
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
Tim Fernando
books