Search Sciweavers | Sciweavers

30 search results - page 2 / 6

» jelia 2004

114

click to vote

JELIA
2004
Springer

100views Artificial Intelligence» more JELIA 2004»

Equivalence of Logic Programs Under Updates

15 years 8 months ago

Download research.nii.ac.jp

Katsumi Inoue, Chiaki Sakama

claim paper

Read More »

103

click to vote

JELIA
2004
Springer

84views Artificial Intelligence» more JELIA 2004»

Automatic Compilation of Protocol Insecurity Problems into Logic Programming

15 years 8 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

15 years 8 months ago

Download users.dimi.uniud.it

Davide Bresolin, Angelo Montanari, Gabriele Puppis

claim paper

Read More »

Voted

JELIA
2004
Springer

91views Artificial Intelligence» more JELIA 2004»

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

15 years 8 months ago

Download sevein.matap.uma.es

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

claim paper

Read More »

109

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers