Search Sciweavers | Sciweavers

30 search results - page 2 / 6

» jelia 2004

click to vote

JELIA
2004
Springer

100views Artificial Intelligence» more JELIA 2004»

Equivalence of Logic Programs Under Updates

14 years 3 months ago

Download research.nii.ac.jp

Katsumi Inoue, Chiaki Sakama

claim paper

Read More »

click to vote

JELIA
2004
Springer

84views Artificial Intelligence» more JELIA 2004»

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

14 years 3 months ago

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Yuliya Lierler

claim paper

Read More »

click to vote

JELIA
2004
Springer

107views Artificial Intelligence» more JELIA 2004»

Time Granularities and Ultimately Periodic Automata

14 years 3 months ago

Download users.dimi.uniud.it

Davide Bresolin, Angelo Montanari, Gabriele Puppis

claim paper

Read More »

click to vote

JELIA
2004
Springer

91views Artificial Intelligence» more JELIA 2004»

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

14 years 3 months ago

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers