Results 1 - 10
of
285
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 DLV System for Knowledge Representation and Reasoning
- ACM Transactions on Computational Logic
, 2002
"... Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class ΣP 2 (NPNP). Thus, under widely believ ..."
Abstract
-
Cited by 456 (102 self)
- Add to MetaCart
programming methodology which allows one to encode complex problems (up to ∆P 3-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of
DECLARATION
, 2010
"... a. except where due acknowledgement has been made, the work is that of the candidate alone; b. the work has not been submitted previously, in whole or in part, to qualify for any other academic award; c. the content of the thesis is the result of work which has been carried out in the School of Fash ..."
Abstract
- Add to MetaCart
of Fashion and Textiles, RMIT University between February 2007 and 2010. d. any editorial work, paid or unpaid, carried out by a third party is acknowledged. e. ethics procedures and guidelines have been followed.
DECLARATION
, 2008
"... a. except where due acknowledgement has been made, the work is that of the candidate alone; b. the work has not been submitted previously, in whole or in part, to qualify for any other academic award; c. the content of the thesis is the result of work which has been carried out in the school of Fash ..."
Abstract
- Add to MetaCart
of Fashion and Textiles, RMIT University between April 2004 and 2008. d. any editorial work, paid or unpaid, carried out by a third party is acknowledged. e. ethics procedures and guidelines have been followed.
Declarative Routing: Extensible Routing with Declarative Queries
, 2005
"... The Internet's core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior research on this problem has included new hard-coded routing protocols on the one hand, and fully extensible Active Networks ..."
Abstract
-
Cited by 133 (45 self)
- Add to MetaCart
Networks on the other. In this paper, we explore a new point in this design space that aims to strike a better balance between the extensibility and robustness of a routing infrastructure. The basic idea of our solution, which we call declarative routing, is to express routing protocols using a database
JAC: declarative Java concurrency
, 2005
"... The Java programming language has a low-level concurrency model which is hard to use and does not blend well with inheritance. JAC is an extension of Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashi ..."
Abstract
-
Cited by 10 (0 self)
- Add to MetaCart
The Java programming language has a low-level concurrency model which is hard to use and does not blend well with inheritance. JAC is an extension of Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative
Declarative Reconfigurable Trust Management
"... In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement of security policies. These systems have different tradeoffs in expressiveness and complexity, depending on the security ..."
Abstract
-
Cited by 10 (7 self)
- Add to MetaCart
and composed in a declarative fashion. We present an initial proof-of-concept implementation of LBTrust using LogicBlox, an emerging commercial Datalog-based platform for enterprise software systems. The LogicBlox language enhances Datalog in a variety of ways, including constraints and meta
CANDIDATE DECLARATION
"... a. except where due acknowledgement has been made, the work is that of the candidate alone; b. the work has not been submitted previously, in whole or in part, to qualify for any other academic award; c. the content of the thesis is the result of work which has been carried out in the school of Fash ..."
Transaction Logic Programming
, 1993
"... An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. Transaction Logic has a natural model theory and a sound and complete proof theory, but unlike many other log ..."
Abstract
-
Cited by 127 (21 self)
- Add to MetaCart
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. Transaction Logic has a natural model theory and a sound and complete proof theory, but unlike many other
Results 1 - 10
of
285