Filters








21,313 Hits in 5.1 sec

Page 2212 of Mathematical Reviews Vol. , Issue 92d [page]

1992 Mathematical Reviews  
McAloon and Carol Tretkoff, Computational complexity and constraint logic program- ming languages (extended abstract) (pp. 401-415); Maria Paola Bonacina and Jieh Hsiang, Operational and denotational  ...  Bol, Towards more efficient loop checks (pp. 465-479); Sergio Greco and Domenico Sacca, Negative logic programs (pp. 480-497); R. S. Kemp and G. A.  ... 

Page 557 of Mathematical Reviews Vol. , Issue 2003A [page]

2003 Mathematical Reviews  
Alferes, Heinrich Herre and Luis Moniz Pereira, Partial models of extended generalized logic programs (149-163); Kewen Wang, Lizhu Zhou and Fangzhen Lin, Alternating fixpoint theory for logic programs  ...  analysis (1033-1047); Enrico Fran- coni, Fabio Grandi and Federica Mandreoli, A semantic approach for schema evolution and versioning in object-oriented databases (1048-1062); Stefan Brass, SLDMagic—the  ... 

Towards intelligent databases [chapter]

François Bry
1993 Lecture Notes in Computer Science  
Identities are "logical pointers" that give rise to naming objects [5, 6] . Extending the paradigm of logic programming and deductive facilities with identities is a promising issue.  ...  We think, this is the key issue to solve for bringing closer together both paradigms of deductive and object-oriented databases.  ... 
doi:10.1007/3-540-56804-2_12 fatcat:q7ioi4u725fklbxlg4tqiorioa

Logical composition of object-oriented interfaces

Mark Grossman, Raimund K. Ege
1987 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87  
This paper describes an approach to object-oriented interface design that goes beyond mere object decomposition.  ...  A filter is a package of constraints and associated typed objects that express the relationship of data and representation objects. Conceptually our system is completely based on constraints.  ...  Object-oriented programming is augmented with constraints to provide flexible and useroriented systems.  ... 
doi:10.1145/38765.38834 dblp:conf/oopsla/GrossmanE87 fatcat:p5yloibi3vabfk3fq55pxpbh7i

O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies [chapter]

Georgios Meditskos, Nick Bassiliades
2006 Lecture Notes in Computer Science  
O-DEVICE exploits the advantages of the object-oriented programming model by transforming OWL ontologies into classes, properties and objects of the OO programming language provided within CLIPS, called  ...  inside resource objects; b) to be able to use a deductive object-oriented rule language for querying and creating maintainable views of OWL instances, which operates over the object-oriented schema of  ...  Acknowledgments This work was partially supported by a PENED program (EPAN M.8.3.1, No. 03ΕΔ73).  ... 
doi:10.1007/11752912_27 fatcat:xhlfohpkwnbw5eh55i7n6tayka

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams

F RAMALHO
2004 Electronical Notes in Theoretical Computer Science  
CTFL extends Horn logic with object-oriented class hierarchy and object definition terms, and with three new logical connectives -serial conjunction, concurrent conjunction and atomic modality -that declaratively  ...  We propose Concurrent Transaction Frame Logic (CTFL), an extension of first-order Horn logic that gives declarative semantics to object-oriented deductive databases, as a language to provide formal semantics  ...  § id] [ Frame Logic In a nutshell, Frame Logic (FL) extends FOHL with two new classes of object-oriented logical terms: class definition terms and object creation terms.  ... 
doi:10.1016/s1571-0661(04)05016-9 fatcat:e6lqe6jkqnhqdf76dl6dokcasq

Page 3628 of Mathematical Reviews Vol. , Issue 2000e [page]

2000 Mathematical Reviews  
However, we show that it cannot com- pete with global probabilistic deduction by linear programming.  ...  Sauro Tulipani (1-PERG; Perugia) 2000e:68154 68T27 03B70 Garzon, Max (1-MEMP-IS; Memphis, TN) Towards an information logic.  ... 

Contents and abstracts of the electronic notes in theoretical computer science vol. 4

José Meseguer
1998 Theoretical Computer Science  
There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint  ...  They give a rich view of the latest developments and research directions in the field of rewriting logic and its different applications to computing.  ...  Jacobson's method, "objectoriented software-engineering" (OOSE) is combined with object-oriented algebraic specifications by extending object and interaction diagrams with formal annotations.  ... 
doi:10.1016/s0304-3975(97)00247-8 fatcat:3cfgzbipsrenxoh5vxznnvaxl4

Page 541 of Mathematical Reviews Vol. , Issue 90A [page]

1990 Mathematical Reviews  
Richard, Modeling inheritance and genericity in object oriented-databases (pp. 223-238); Atsushi Ohori, Semantics of types for database objects (pp. 239-251); Katsumi Tanaka and Masatoshi Yoshikawa, Towards  ...  an extended relational model to indefinite deductive databases (pp. 175-184); Sung H.  ... 

Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases [chapter]

Guizhen Yang, Michael Kifer
2002 Lecture Notes in Computer Science  
The problems discussed in this paper are inherent in any logic-based system that supports inheritance and deductive rules and our techniques apply to such systems.  ...  In particular, they apply to DAML+OIL extended with rules and inheritance.  ...  Introduction F-logic (Frame Logic) [21, 22] is a formalism that unifies the deductive and object-oriented programming paradigms.  ... 
doi:10.1007/3-540-36124-3_65 fatcat:ljhup5rb2bgf7mqnish3mmxbb4

Dynamic integrity constraints definition and enforcement in databases: a classification framework [chapter]

M. A. Pacheco Silva
1997 Integrity and Internal Control in Information Systems  
A dynamic constraint expresses conditions that involve facts of two or more states of the database.  ...  Since the database is expected to satisfy such conditions, a fundamental issue about integrity constraints is their enforcement. Many methods have been developed in this respect.  ...  Chimera introduces an attempt towards integrating active, deductive and object-oriented data modeling and manipulation techniques within a unified framework.  ... 
doi:10.1007/978-0-387-35317-3_4 fatcat:gyyz3ehp2bfghfmlodgdf6eebq

Inheritance and Rules in Object-Oriented Semantic Web Languages [chapter]

Guizhen Yang, Michael Kifer
2003 Lecture Notes in Computer Science  
However, the original F-logic was lacking the notion of instance methods -one of the most common object-oriented modeling tools.  ...  Rule-based and object-oriented techniques are rapidly making their way into the infrastructure for representing and reasoning about semantic information on the Web.  ...  The optimistic object model of an F-logic program P is minimal among the object models of P that satisfy the optimistic inheritance constraints.  ... 
doi:10.1007/978-3-540-39715-1_7 fatcat:be7ltj5zvzalpffxfkmuspj6aq

KeY: A Formal Method for Object-Oriented Systems [chapter]

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2007 Lecture Notes in Computer Science  
KeY is an approach (and a system) for the deductive verification of object-oriented software.  ...  Different deductive verification approaches vary in the choice of the used logic.  ...  This includes all object-oriented features, Java Card's transaction mechanism, the (finite) Java integer types, abrupt termination (local jumps and exceptions) and even a formal specification (both in  ... 
doi:10.1007/978-3-540-72952-5_2 fatcat:ulq2gvp7yjdkrf5zyjat3xqnwy

Logic and Databases: Past, Present, and Future

Jack Minker
1997 The AI Magazine  
Gallaire, Minker, and Nicolas stated that logic and databases was a field in its own right. This was the first time that this designation was made.  ...  I review developments in the field, assess contributions, consider the status of implementations of deductive databases, and discuss future work needed in deductive databases. Articles  ...  Acknowledgments This article is a condensation, and in some cases an expansion, of an invited keynote address presented at the Workshop on Logic in Databases in San Miniato, Italy, in 1996.  ... 
doi:10.1609/aimag.v18i3.1304 dblp:journals/aim/Minker97 fatcat:6foa4j2a45cabojbsyxj7rwpfq

A Survey of Automated Deduction [chapter]

Alan Bundy
1999 Lecture Notes in Computer Science  
Results from Mathematical Logic suggested that automatic deductive reasoners for rstorder, predicate logic could be built that were not only sound, i.e. only made correct deductions, but were also complete  ...  A Potted History of Early Automated Deduction Deduction is the branch of reasoning formalised by and studied in mathematical logic.  ...  One of the most successful extensions to logic programming is to combine it with constraint reasoning, called constraint logic programming, Ja ar and Maher, 1994 .  ... 
doi:10.1007/3-540-48317-9_6 fatcat:r7kti6fn2bcjbodyatqdq64wu4
« Previous Showing results 1 — 15 out of 21,313 results