Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,497
Logical foundations of object-oriented and frame-based languages
- JOURNAL OF THE ACM
, 1995
"... We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, ..."
Abstract
-
Cited by 876 (65 self)
- Add to MetaCart
We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods
The Logical Foundations of . . .
- ARTIFICIAL INTELLIGENCE
, 1998
"... This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals will often be conjunctions, and to apply goal-regression planning to a conjunction we usually have to plan separately for ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals will often be conjunctions, and to apply goal-regression planning to a conjunction we usually have to plan separately
Logical Foundations for . . .
, 1995
"... We present a formalism for reasoning about declarative object-oriented programs. Classes are represented as first-order theories that contain logic programs as methods. Inheritance, genericity and related concepts are represented by operations on such theories which preserve the consistency of these ..."
Abstract
- Add to MetaCart
We present a formalism for reasoning about declarative object-oriented programs. Classes are represented as first-order theories that contain logic programs as methods. Inheritance, genericity and related concepts are represented by operations on such theories which preserve the consistency
Logical Foundations and
"... This paper is concerned with the use of logic-based formalisms for multi-agent negotiation. We begin by introducing a quantified multi-modal language that draws on and extends standard Belief-Desire-Intention (BDI) logics. Using this language, a number of properties concerning the behavior and cogni ..."
Abstract
- Add to MetaCart
This paper is concerned with the use of logic-based formalisms for multi-agent negotiation. We begin by introducing a quantified multi-modal language that draws on and extends standard Belief-Desire-Intention (BDI) logics. Using this language, a number of properties concerning the behavior
Logical Foundations of CafeOBJ
- Theoretical Computer Science
"... This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ. T ..."
Abstract
-
Cited by 15 (1 self)
- Add to MetaCart
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of Cafe
Logical Foundation for Updating XML
- In: Proceedings of the 4th International Conference on Web-Age Information Management (WAIM2003
, 2003
"... With the extensive use of XML in applications over the Web, how to update XML data is becoming an important issue because the role of XML has been expanded beyond traditional applications in which XML is used for data representation and exchange over the Web. Several languages have been proposed ..."
Abstract
- Add to MetaCart
. The other is there is still no consensus about the logical foundation for XML updates. This paper presents a declarative language for updating XML data based on a high-level data model and systemically describes its semantics.
A Logical Foundation for XML
- In Proc. International Conference on Advanced Information Systems Engineering
, 2002
"... XML is fast emerging as the dominant standard for data representation and exchange on the World Wide Web. How to view an XML document, i.e., XML data model, and how to query XML documents are two primary research issues for XML. The purpose of this paper is twofold. First, we propose a novel data mo ..."
Abstract
-
Cited by 10 (5 self)
- Add to MetaCart
functions/methods and queries and support recursion in a natural way. Finally, rule-based framework has a formal logic foundation that is lacking in other query languages. 1
Logical Foundations of Computer Security
"... The first of my four lectures on the logical foundations of computer security will establish the ma-thematical setting in which we will work, namely computational type theory. In this setting we can pursue algorithmic ideas from their natural expression in computer science articles to their codifi-c ..."
Abstract
- Add to MetaCart
The first of my four lectures on the logical foundations of computer security will establish the ma-thematical setting in which we will work, namely computational type theory. In this setting we can pursue algorithmic ideas from their natural expression in computer science articles
A type-theoretic framework for formal reasoning with different logical foundations
- Proc of the 11th Annual Asian Computing Science Conference
, 2006
"... different logical foundations ..."
Results 1 - 10
of
3,497
