• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 285
Next 10 →

Logical foundations of object-oriented and frame-based languages

by Michael Kifer, Georg Lausen, James Wu - 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

by Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello - 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

by Yukako Tomari , 2008
"... Investigating the tween girls fashion market ..."
Abstract - Add to MetaCart
Investigating the tween girls fashion market

DECLARATION

by unknown authors , 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

by Nasar Harun Momin, Nasar Harun Momin , 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

by Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, Raghu Ramakrishnan , 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

by Max Haustein, Klaus-Peter Löhr , 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

by William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
"... 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

by Siti Farhana Zakaria
"... 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

Transaction Logic Programming

by Anthony J. Bonner, Michael Kiffer , 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
Next 10 →
Results 1 - 10 of 285
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University