Translating a Modal Language with Embedded Implication into Horn Clause Logic

Argument exchange in heterogeneous electronic commerce environments

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1

Inheritance in a Deductive Object Database Language with Updates

Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics

Multimodal logic programming

Theoretical Computer Science

Translating propositional extended conjunctions of Horn clauses into Boolean circuits

Theoretical Computer Science

Beliefs in agent implementation

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies

A transformational semantics of static embedded implications of normal logic programs

LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation

Goals in the propositional horn⊃ language are monotone boolean circuits

MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science