Search Sciweavers | Sciweavers

3572 search results - page 176 / 715

» Nominal Logic Programming

click to vote

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 »

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 »

105

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

15 years 8 months ago

Download staff.science.uva.nl

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...

claim paper

Read More »

110

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 »

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers