Sciweavers

2611 search results - page 125 / 523
» A Logic for Concepts and Similarity
Sort
View
CSL
2007
Springer
15 years 8 months ago
Forest Expressions
We define regular expressions for unranked trees (actually, ordered sequences of unranked trees, called forests). These are compared to existing regular expressions for trees. On ...
Mikolaj Bojanczyk
CPM
2006
Springer
140views Combinatorics» more  CPM 2006»
15 years 5 months ago
Identifying Co-referential Names Across Large Corpora
A single logical entity can be referred to by several different names over a large text corpus. We present our algorithm for finding all suchco-reference sets in a large corpus. Ou...
Levon Lloyd, Andrew Mehler, Steven Skiena
CLEF
2006
Springer
15 years 5 months ago
Applying Logic Forms and Statistical Methods to CL-SR Performance
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
Rafael M. Terol, Patricio Martínez-Barco, M...
AAAI
2008
15 years 4 months ago
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
Chitta Baral, Jicheng Zhao
FUIN
2000
71views more  FUIN 2000»
15 years 1 months ago
The Nondeterministic Information Logic NIL is PSPACE-complete
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
Stéphane Demri