IDEAL &amp; K-LEAF implementation: a progress report

Bosco, Pier Giorgio; Cecchi, C.; Moiso, Corrado

doi:10.1007/3540512845_54

Search citation statements

Order By: Relevance

Paper Sections

Select...

Discussion1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2012

Publication Types

Select...

Book1

Article1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our prototype is far too slow for programmers. But the authors of Ideal, a similar language, claim outstanding efficiency [5,8]. Their system translates functions into Prolog clauses, and then into a modified Warren Abstract Machine.…”

Section: Discussionmentioning

confidence: 99%

Logic programming, functional programming, and inductive definitions

Paulson

Smith

Extensions of Logic Programming

View full text Add to dashboard Cite

Section: Discussionmentioning

confidence: 99%

Logic programming, functional programming, and inductive definitions

Paulson

Smith

Extensions of Logic Programming

View full text Add to dashboard Cite

Basic Concepts of Criminal Law and Setting up Incriminating Norms

Guiu¹

2012

JPL

View full text Add to dashboard Cite

Starting from the assumption that as compared to the old theory of guilt, called “psychological”, the new theory, called “normative”, has a broader rational value, this paper tries to integrate the basic concepts of the criminal law (crime, criminal, guilt) into such a theory and, at the same time, to highlight some rules that should be taken into account when setting up the incriminating norms

show abstract

IDEAL & K-LEAF implementation: a progress report

Cited by 2 publications

References 6 publications

Logic programming, functional programming, and inductive definitions

Logic programming, functional programming, and inductive definitions

Basic Concepts of Criminal Law and Setting up Incriminating Norms

Contact Info

Product

Resources

About