Search results: Sage Journals

Available accessResearch articleFirst published January, 2004

Nonmonotonic Proof Systems: Algebraic Foundations

Sujata Ghosh, Mihir Kr. Chakraborty

Fundamenta Informaticae

Open accessResearch articleFirst published February, 2010

Edward A. Hirsch, Arist Kojevnikov, Alexander S. Kulikov [...]

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published November, 2008

Jesús Aransay

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published August, 1999

Clemens Ballarin, Lawrence C. Paulson

Fundamenta Informaticae

Available accessResearch articleFirst published 2016

Ivo Düntsch, Ewa Orłowska, Hui Wang

Fundamenta Informaticae

Available accessResearch articleFirst published December, 2012

Sébastien Carlier, J.B. Wells

Fundamenta Informaticae

Retricted accessOtherFirst published October, 1989

J.M. Selig, J. Rooney

The International Journal of Robotics Research

Available accessResearch articleFirst published February, 2003

Ludwik Czaja

Fundamenta Informaticae

Available accessResearch articleFirst published September 20, 2010

Michael Backes, Dominique Unruh

Journal of Computer Security

Available accessResearch articleFirst published September, 2005

Jian Xu, Jeffery Zucker

Fundamenta Informaticae