MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Semantics of the Universal Quantifier." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

A Resolution Calculus for Presuppositions
by Manfred Kerber, Michael Kohlhase — 1996 — Proceedings of the 12th ECAI
…(x;John) sleeps(x), where the semantics of the quantifier is defined such that for a true and secure universally…
Cited by 4 (3 self) – Add To MetaCart

Parameterized verification of infinite-state processes with global conditions
by Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine — In Proc. 19Ø�Int. Conf. on Computer Aided Verification
… and universally quantified global conditions. The individual processes operate on unbounded local variables…
Cited by 2 (2 self) – Add To MetaCart

Scoping Constructs In Logic Programming: Implementation Problems And Their Solution
by Gopalan Nadathur, Bharat Jayaraman — 1995
… universal and existential quantifiers are permitted to appear in mixed order in goals, the devices of logic…
Cited by 20 (9 self) – Add To MetaCart

Reasoning without Believing - On the Mechanization of Presuppositions and Partiality
by Manfred Kerber, Michael Kohlhase, Fachbereich Informatik
… the semantics of the universal quantifier by requiring I' (8xS A) to be -- t + if I ';[a=x] A = t + f…
Cited by 1 (1 self) – Add To MetaCart

A Mechanization of Strong Kleene Logic for Partial Functions
by Manfred Kerber , Michael Kohlhase — 1994 — PROCEEDINGS OF THE 12TH CADE
…-functionally complete, since, just like negation and conjunction, ! is normal. The semantics of the universal quantifier…
Cited by 25 (11 self) – Add To MetaCart

F1.059e+06>The Journal of Functional and Logic Programming The MIT Press
by Volume Article April, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy — 1999
… the resulting goal. Viewed di#erently, the universal quantifier corresponds to giving a name a scope…
Add To MetaCart

Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Logic Programming
by Alan Frisch — 1999 — Inductive Logic Programming, volume 1634 of Lecture Notes in Artificial Intelligence
… of universally-quantified sorted sentences is in terms of their equivalence to ordinary sentences: 8x:�� OE…
Cited by 9 (2 self) – Add To MetaCart

Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems)
by unknown authors
… modify the semantics of universal quantifiers by eliminating the processeswhich violate the given…
Add To MetaCart

Reasoning with Assertions and Examples
by Manfred Kerber, Manfred Kerber, Erica Melis, Erica Melis, Jörg H. Siekmann, Jorg H. Siekmann — 1993 — AAAI Spring Symposium on AI and Creativity, Marz
… the semantics of the universal quantifier, assignments �� for the interpretation of the variables into the frame…
Cited by 1 (1 self) – Add To MetaCart

Reasoning with Assertions
by Examples Manfred Kerber, Manfred Kerber, Erica Melis, Jorg H. Siekmann
… of the universal quantifier, assignments for the interpretation of the variables into the frame are necessary…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB