MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Propositional Contexts." – sorted by Relevance.

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

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

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

ATOM

The Semantics of Propositional Contexts
by Sasa Buvac, Vanja Buvac, Ian A. Mason — 1994
…The Semantics of Propositional Contexts Sasa Buvac, 1 Vanja Buvac, 2 and Ian A. Mason 3 1…
Cited by 13 (1 self) – Add To MetaCart

Satisfiability for propositional contexts
by Luciano Serafini — 2004 — In Proc. of the Principles of Knowledge Representation and Reasoning (KR2004
… 2004, Whistler, Canada. Satisfiability for Propositional Contexts Luciano Serafini 1 1 ITC-IRST, Via…
Cited by 6 (5 self) – Add To MetaCart

A Comparison of Approaches for Learning First-Order Logical Probability Estimation Trees
by Daan Fierens, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe — 2005 — In Inductive Logic Pogramming, 15th Int. Conference (ILP05), Late-breaking Papers
… for learning PETs have been proposed, mainly in a propositional context. Since we are interested in applying…
Cited by 3 (3 self) – Add To MetaCart

Formal Analysis of IP Layer Security
by Sarah Mocas, Tom Schubert — 1997 — Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols
… the soundness of these propositions. In the context of Mobile-IP, we investigate the use of formal logics…
Cited by 1 (0 self) – Add To MetaCart

Valuation of Shares and Equity Financing in an Economy with Frictions but no Leverage: the Value of Retained Earnings 1
by Tom Copel, Andrew Lyasoff
… Modigliani-Miller proposition in the context of dynamic programming. The study of the MRSRI in an economy…
Add To MetaCart

Duverger’s Law and the Study of Electoral Systems
by Kenneth Benoit
… the propositions and their context, the essay examines their influence on political science, and concludes…
Add To MetaCart

A Logical AI Approach to Context
by John McCarthy — 1996
… and use the formula ist(c; p) to assert that the proposition p is true in the context c. A second idea…
Cited by 4 (0 self) – Add To MetaCart

Modal Logics with a Hierarchy of Local Propositional Quantifiers (Extended Abstract)
by Kai Engelhardt, Ron Van Der Meyden — 1999 — Advances in Modal Logic
… in the context of the semantics for logics of knowledge in multi-agent systems. A proposition is local…
Cited by 4 (2 self) – Add To MetaCart

V.: A Strategy for Automated Meaning Negotiation in Distributed Information Retrieval. In: Y. Gil et al
by Vadim Ermolayev, Natalya Keberle, Wolf-ekkehard Matzke, Vladimir Vladimirov — In: Y. Gil et al. (Eds.): ISWC 2005 Proc. 4th Int. Semantic Web Conference (ISWC'05
… theory Г M of M. 5 Argumentation through Propositional Substitutions and Contexts * * Documentation Tech…
Cited by 3 (3 self) – Add To MetaCart

On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a Categorical Understanding
by P. Maneggia
… variables and types in \Delta and in \Pi. Well-formed formulae (propositions) are given in such a context…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB