LogicBase: a deductive database system prototype
CIKM '94 Proceedings of the third international conference on Information and knowledge management
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Unification factoring for efficient execution of logic programs
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Tail recursion elimination in deductive databases
ACM Transactions on Database Systems (TODS)
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
On implementing SchemaLog—a database programming language
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Typed query languages for databases containing queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A case for parameterized views and relational unification
Proceedings of the 2001 ACM symposium on Applied computing
Functional and constraint logic programming
Constraints in computational logics
Achieving Scalability in Parallel Tabled Logic Programs
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
On Efficiently Implementing SchemaSQL on an SQL Database System
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Potter's Wheel: An Interactive Data Cleaning System
Proceedings of the 27th International Conference on Very Large Data Bases
Access to Objects by Path Expressions and Rules
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Object Fusion in Mediator Systems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Structural Abstraction and Application in Logic Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
On the Semantics of Anonymous Identity and Reification
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
CL '00 Proceedings of the First International Conference on Computational Logic
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Handbook of automated reasoning
Managing multiple and distributed ontologies on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Towards a formalization of disease-specific ontologies for neuroinformatics
Neural Networks - Special issue: Neuroinformatics
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming
Reasoning about Uncertain Contexts in Pervasive Computing Environments
IEEE Pervasive Computing
PrediCalc: a logical spreadsheet management system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Journal of Automated Reasoning
The logic of RDF and SPARQL: a tutorial
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Towards practical meta-querying
Information Systems
RDFS(FA): Connecting RDF(S) and OWL DL
IEEE Transactions on Knowledge and Data Engineering
Forgetting in Managing Rules and Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Predicalc: A logical spreadsheet management system
The Knowledge Engineering Review
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
A typed higher-order calculus for querying XML databases
ADC '08 Proceedings of the nineteenth conference on Australasian database - Volume 75
Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Intensional semantics for RDF data structures
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Rule Interchange Format: The Framework
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A TRIPLE-Oriented Approach for Integrating Higher-Order Rules and External Contexts
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Rule Interchange Format: The Framework
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
A Logic Programming Approach to Scientific Workflow Provenance Querying
Provenance and Annotation of Data and Processes
Intensional First-Order Logic for P2P Database Systems
Journal on Data Semantics XII
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Oz: a programming language for multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the algebraic structure of declarative programming languages
Theoretical Computer Science
A Data Model for Data Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Meta-relation and ontology closure in conceptual structure theory
Artificial Intelligence and Law
SPARQL++ for mapping between RDF vocabularies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
r3: a foundational ontology for reactive rules
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Extensional higher-order logic programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Defeasibility in answer set programs via argumentation theories
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Building Mashups by Demonstration
ACM Transactions on the Web (TWEB)
A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
On the properties of metamodeling in OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Hiord: a type-free higher-order logic programming language with predicate abstraction
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Macros, macro calls and use of ensembles in modular answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Ten theses on logic languages for the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Logical reconstruction of RDF and ontology languages
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Non-termination analysis and cost-based query optimization of logic programs
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Extensional Higher-Order Logic Programming
ACM Transactions on Computational Logic (TOCL)
Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |