Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-1

A General Similarity Framework for Horn Clause Logic

S. Ferilli, T.M.A. Basile, M. Biba [...]

Fundamenta Informaticae

Open access

Research article

First published 2011-2

Resolution on Quantified Generalized Clause-sets

Jiwei Jin, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2014-7-11

StatVerif: Verification of stateful processes

Myrto Arapinis, Joshua Phillips, Eike Ritter [...]

Journal of Computer Security

Retricted access

Research article

First published 2009-7-2

Automatic verification of correspondences for security protocols *

Bruno Blanchet

Journal of Computer Security

Retricted access

Other

First published 2005-2

Relational Inductive Learning with a Hybrid Evolutionary Algorithm

Federico Divina

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2010-10

Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2001-12

Non-Clausal Reasoning with Definite Theories

Zbigniew Stachniak

Fundamenta Informaticae

Free access

Other

First published 2009-1-1

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 1997-2

A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS

Francis Alexandre, Khaled Bsaïes

Fundamenta Informaticae

Retricted access

Research article

First published 1993-2

The Logic of Walking: Representing Design Knowledge on Pedestrian Traffic Nets

L B Kovács, P Galle

Environment and Planning B: Urban Analytics and City Science

Search results