Prolog++: The Power of Object-Oriented and Logic Programming

Goal-directed object-oriented programming in Unicon

Proceedings of the 2001 ACM symposium on Applied computing

An analyzable annotation language

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Executing Formal Specifications with Concurrent Constraint Programming

Automated Software Engineering

VAlloy - Virtual Functions Meet a Relational Language

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis

Proceedings of the 2004 ACM symposium on Applied computing

Logic programming in the context of multiparadigm programming: the Oz experience

Theory and Practice of Logic Programming

Elaboration tolerance through object-orientation

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning

Inheritance processing and conflicts in structural generalization hierarchies

ACM Computing Surveys (CSUR)

Advanced query language for manipulating complex entities

Information Processing and Management: an International Journal

PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships

Journal of Intelligent Information Systems

Ontology oriented programming in go!

Applied Intelligence

Constraint animation using an object-oriented declarative language

ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference

Spider vs. Prolog: simulating Prolog in Spider

CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing

Ontological logic programming

Proceedings of the International Conference on Web Intelligence, Mining and Semantics

Logic Java: combining object-oriented and logic programming

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming

Combining semantic web and logic programming for agent reasoning

AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology

Formal development of correct classes in computational logic

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods

A hybrid reasoning mechanism for effective sensor selection for tasks

Engineering Applications of Artificial Intelligence