- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal"
- exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics"
- boolean and: separate words by space
e.g., codd model
- boolean or: connect words by pipe symbol (|)
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
found 7 matches
Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
Model Checking Systems and Specifications with Parameterized Atomic Propositions. ATVA 2012: 122-136
Steven Schockaert, Henri Prade:
Solving conflicts in information merging by a flexible interpretation of atomic propositions. Artif. Intell. 175(11): 1815-1855 (2011)
Elena Akhmatova, Diego Mollá:
Recognizing Textual Entailment Via Atomic Propositions. MLCW 2005: 385-403
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. J. Log. Comput. 9(2): 135-147 (1999)
K. A. Andersen, John N. Hooker:
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. Annals OR 65(1): 1-20 (1996)
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. CAV 1995: 325-338
J. David Wald:
Geach on atomicity and singular propositions. Notre Dame Journal of Formal Logic 20(2): 285-294 (1979)
loading more results
failed to load more results, please try again later
The full-text search results are provided via , courtesy of AI2.
found ?? matches
- service temporarily not available