MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Theory Instantiation." – sorted by Relevance.

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

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

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

ATOM

Building theories into instantiation
by Alan M. Frisch, C. David Page Jr. — 1995 — IN PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-95
…Building Theories into Instantiation Alan M. Frisch Department of Computer Science University…
Cited by 5 (4 self) – Add To MetaCart

Interpretation and Instantiation of Theories for Reasoning about Formal Specifications
by Nicholas Hamilton, Nicholas Hamilton, Ray Nickson, Mark, Ray Nickson, Owen Traynor, Owen Traynor, Mark Utting, Mark Utting — 1997 — Queensland University of Technology
… Queensland 4072 Australia TECHNICAL REPORT No. 96-21 Interpretation and Instantiation of Theories…
Cited by 3 (1 self) – Add To MetaCart

A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems
by William M. Farmer — 1994 — Lecture Notes in Computer Science (Proc. Intl. Zurich Sem. Digital Comm.). Spinger
… as well as consistency. The method employs the notions of theory interpretation and theory instantiation…
Cited by 2 (1 self) – Add To MetaCart

A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
by F.J. Martín-Mateos, J. A. Alonso, M. J. Hidalgo, J. L. Ruiz-reina — 2002
…A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. # F.J. Martn-Mateos, J…
Cited by 3 (0 self) – Add To MetaCart

The Computational Complexity of Ideal Semantics
by Paul E. Dunne
… default theories. instantiations of ABFs; C = Σ p 2 Key words: Computational properties of argumentation…
Add To MetaCart

Qualifying the expressivity/efficiency tradeoff: Reformationbased diagnosis
by Helmut Prendinger, Mitsuru Ishizuka — 1999 — In Proceedings 16th National Conference on Artificial Intelligence (AAAI-99
… observation types and to economically instantiate the theory, while methods from operations research offer…
Cited by 2 (1 self) – Add To MetaCart

Declarative Specification of Software Architectures
by John Penix, Perry Alexander, Klaus Havelund — 1997 — In Proceedings of the 12th IEEE International Conference on Automated Software Engineering (ASEC-97), Incline Village
… the verification of the individual component instantiations. We present an example of using architecture theories…
Cited by 10 (3 self) – Add To MetaCart

Real-Time Self-Explanatory Simulation
by Franz G. Amador, Adam Finkelstein, Daniel S. Weld — 1993 — In Proc. of the Eleventh National Conference on Artificial Intelligence. AAAI
… specified as a particular instantiation of a general domain theory, and it is capable of explaining its…
Cited by 15 (1 self) – Add To MetaCart

Formalizing UML Class Diagrams in PVS
by Demissie Aredo — 1999 — In oopsla’99 Workshop on Rigorous Modeling and Analysis with the uml: Challenges and Limitations
… several useful types, definitions, lemmas etc. A theory may import (instantiate) another built…
Cited by 1 (0 self) – Add To MetaCart

Mechanising the Reals in an. . .
by Jamie Shield, Gamma Q, Q Cinverse — 1998
… abbreviations exist in this theory as in the field and ofield 36 instantiate Theory names : field \Gamma…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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