Search results for "object-oriented logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Mengchi Liu	Pluto: An Object-Oriented Logic Programming Language.	TOOLS	2001	DBLP DOI BibTeX RDF
2	Adil Kabbaj, Martin Janta-Polczynski	From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language.	ICCS	2000	DBLP DOI BibTeX RDF
2	Yangjun Chen, Wolfgang Benn	Poster on Rule-based Technology for Schema Transformation. (PDF / PS)	CoopIS	1997	DBLP DOI BibTeX RDF	rule-based technology, local database schema, abstract database schema, data model conflicts, object-oriented schema, relational database logic, object-oriented logic, Horn-clause-like rules, meta-level reasoning, knowledge based systems, data models, object-oriented database, integrity constraints, database integration, schema transformation, relational schemas
2	Sergio Greco, Nicola Leone, Pasquale Rullo	COMPLEX: An Object-Oriented Logic Programming System.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	object-oriented logic programming system, knowledge-based applications, Complex-Datalog, C-Datalog, semantic constructs, bottom-up computational model, fully declarative style of programming, top-down model, COMPLEX, object-oriented programming, logic programming, knowledge based systems, tool, software prototyping, prototypical implementation, logic language
2	Jin W. Chang	Computer Aided Software Engineering (CASE) Based on Transformation with Object-Oriented Logic (TOOL).	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
2	Angelo Morzenti, Pierluigi San Pietro	An Object-Oriented Logic Language for Modular System Specification.	ECOOP	1991	DBLP DOI BibTeX RDF
1	Paulo Moura	From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.	ICLP	2009	DBLP DOI BibTeX RDF
1	Paulo Moura	Secure Implementation of Meta-predicates.	PADL	2009	DBLP DOI BibTeX RDF	meta-predicates, security, Logic-programming
1	Paulo Moura, Ricardo Rocha, Sara C. Madeira	High Level Thread-Based Competitive Or-Parallelism in Logtalk.	PADL	2009	DBLP DOI BibTeX RDF	speculative threading, implementation, Or-parallelism
1	Paulo Moura, Ricardo Rocha, Sara C. Madeira	Thread-Based Competitive Or-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF
1	Ermelinda Oro, Massimo Ruffolo	Towards a System for Ontology-Based Information Extraction from PDF Documents.	OTM Conferences	2008	DBLP DOI BibTeX RDF	Ontology, Knowledge Representation, Information Extraction, Datalog, Attribute Grammars
1	Paulo Moura, Paul Crocker, Paulo Nunes	High-Level Multi-threading Programming in Logtalk.	PADL	2008	DBLP DOI BibTeX RDF	concurrency, logic-programming, threads
1	Alexei A. Morozov	Visual Logic Programming Method Based on Structural Analysis and Design Technique.	ICLP	2007	DBLP DOI BibTeX RDF
1	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni	External sources of knowledge and value invention in logic programming.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30
1	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni	Decidable Fragments of Logic Programming with Value Invention.	JELIA	2006	DBLP DOI BibTeX RDF
1	Paul Tarau	Agent oriented logic programming in Jinni 2004.	SAC	2005	DBLP DOI BibTeX RDF	agent programming constructs, agents and logic programming, multi-threaded prolog systems, distributed AI, agent communication protocols
1	Paul Tarau	Agent Oriented Logic Programming Constructs in Jinni 2004.	ICLP	2004	DBLP DOI BibTeX RDF
1	Keith L. Clark, Peter J. Robinson	Agents as Multi-threaded Logical Objects.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
1	Adil Kabbaj, Bernard Moulin, Jeremi Gancet, David Nadeau, Olivier Rouleau	Uses, Improvements, and Extensions of Prolog+CG : Case Studies.	ICCS	2001	DBLP DOI BibTeX RDF
1	Günther Specht	O!-LOLA - Extending the Deductive Database System LOLA by Object-Oriented Logic Programming.	Informatica, Lith. Acad. Sci.	1998	DBLP BibTeX RDF
1	Dianxiang Xu	Towards an object-oriented logic framework for knowledge based systems.	Knowl.-Based Syst.	1998	DBLP DOI BibTeX RDF
1	Kam-Wing Ng, Linpeng Huang, Yongqiang Sun	A Multiparadigm Language for Developing Agent-oriented Applications.	TOOLS	1998	DBLP DOI BibTeX RDF	multiparadigm languages, mobile agents, agent-oriented programming
1	Vincenzo Loia, Michel Quaggetto	The OPLA System: Designing Complex Systems in an Object-Oriented Logic Programming Framework.	Comput. J.	1996	DBLP DOI BibTeX RDF
1	Giuseppe Manco, Alessandra Raffaetà, Franco Turini	Modeling Object Dynamics in Object-Oriented Logic Programming.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
1	Man-lai Tse, Wing-hang Wong, Ho-Fung Leung	Programming with Communicating Nondeterministic Logic Objects.	ISPAN	1996	DBLP DOI BibTeX RDF
1	Zhi Jin	The structure and semantics of an object-oriented logic programming language: SCKE.	J. Comput. Sci. Technol.	1995	DBLP DOI BibTeX RDF
1	Paolo Mancarella, Alessandra Raffaetà, Franco Turini	LOO: An Object Oriented Logic Programming Language.	GULP-PRODE	1995	DBLP BibTeX RDF
1	Man-lai Tse, Wing-hang Wong, Ho-Fung Leung	P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language.	ILPS	1995	DBLP BibTeX RDF
1	Manuel Díaz, Ernesto Pimentel, José M. Troya	DROL: A Distributed and Real-Time Object-Oriented Logic Environment.	Comput. J.	1994	DBLP DOI BibTeX RDF
1	Adil Kabbaj, Claude Frasson, Marc Kaltenbach, Jean-Yves Djamen	A Conceptual and Contextual Object-Oriented Logic Programming: the PROLOG++ Language.	ICCS	1994	DBLP DOI BibTeX RDF	Prolog extension, CG theory, conceptual programming, contextual programming, high-order logic programming, object oriented programming
1	Andrea Omicini, Antonio Natali	Object-Oriented Computations in Logic Programming.	ECOOP	1994	DBLP DOI BibTeX RDF	Integration of object-oriented and logic paradigms, state configuration, partially configured instances, meta-level constraints, abduction
1	Ernesto Pimentel, José M. Troya	Compositionality Issues of Concurrent Object-Oriented Logic Languages.	PARLE	1993	DBLP DOI BibTeX RDF
1	Ernesto Pimentel	L2\|\|O2: A Concurrent Object-oriented Logic Language.	ILPS	1993	DBLP BibTeX RDF
1	Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen	Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
1	Tak-Wai Chan, Wei-Ren Hwang	Towards Integrating Logic, Object, Frame, and Production.	SEKE	1992	DBLP DOI BibTeX RDF
1	Jacques Malenfant, Guy Lapalme, Jean G. Vaucher	ObjVProlog-D: a reflexive object-oriented logic language for distributed computing.	OOPS Messenger	1991	DBLP DOI BibTeX RDF
1	Yves Caseau	The LAURE Model for Object-Oriented Logic Databases.	DASFAA	1991	DBLP BibTeX RDF
1	Fevzi Belli, Ismael Camara, Alfred Schmidt	A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
1	Mukesh Dalal, Dipayan Gangopadhyay	OOLP: A Translation Approach to Object-Oriented Logic Programming.	DOOD	1989	DBLP BibTeX RDF
1	Michael Kifer, James Wu	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).	PODS	1989	DBLP DOI BibTeX RDF
1	John F. Koegel	Parallel objects on distributed constraint logic programming machines.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	POOL
1	Qiming Chen	A Rule-Based Object/Task Modelling Approach.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF