skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Risutati 1 - 10 di 17  per Ricerca globale

Risultati 1 2 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

CHARALAMBIDIS, ANGELOS ; RONDOGIANNIS, PANOS ; SYMEONIDOU, IOANNA ; Tarau, Paul ; Dal Palu, Alessandro

Theory and practice of logic programming, 2018-07, Vol.18 (3-4), p.421-437 [Rivista Peer Reviewed]

Fulltext disponibile

2
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs

Charalambidis, Angelos ; Rondogiannis, Panos ; Symeonidou, Ioanna

Electronic proceedings in theoretical computer science, 2015-09-09, Vol.191 (Proc. FICS 2015), p.18-32

Fulltext disponibile

3
The Expressive Power of Higher-Order Datalog
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

The Expressive Power of Higher-Order Datalog

CHARALAMBIDIS, ANGELOS ; NOMIKOS, CHRISTOS ; RONDOGIANNIS, PANOS

Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.925-940 [Rivista Peer Reviewed]

Fulltext disponibile

4
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation

CHARALAMBIDIS, ANGELOS ; ÉSIK, ZOLTÁN ; RONDOGIANNIS, PANOS ; Leuschel, Michael ; Schrijvers, Tom

Theory and practice of logic programming, 2014-07, Vol.14 (4-5), p.725-737 [Rivista Peer Reviewed]

Fulltext disponibile

5
Higher-order logic programming: An expressive language for representing qualitative preferences
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Higher-order logic programming: An expressive language for representing qualitative preferences

Charalambidis, Angelos ; Rondogiannis, Panos ; Troumpoukis, Antonis

Science of computer programming, 2018-04-01, Vol.155, p.173-197 [Rivista Peer Reviewed]

Fulltext disponibile

6
Predicate Specialization for Definitional Higher-order Logic Programs
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Predicate Specialization for Definitional Higher-order Logic Programs

Troumpoukis, Antonis ; Charalambidis, Angelos

Fulltext disponibile

7
Efficient Intensional Implementation for Lazy Functional Languages
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Efficient Intensional Implementation for Lazy Functional Languages

Charalambidis, Angelos ; Grivas, Athanasios ; Papaspyrou, Nikolaos S ; Rondogiannis, Panos

Mathematics in Computer Science, 2008-11, Vol.2 (1), p.123-141 [Rivista Peer Reviewed]

Fulltext disponibile

8
Equivalence of two fixed-point semantics for definitional higher-order logic programs
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Equivalence of two fixed-point semantics for definitional higher-order logic programs

Charalambidis, Angelos ; Rondogiannis, Panos ; Symeonidou, Ioanna

Theoretical computer science, 2017-03-15, Vol.668, p.27-42 [Rivista Peer Reviewed]

Fulltext disponibile

9
An extension of SPARQL for expressing qualitative preferences
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

An extension of SPARQL for expressing qualitative preferences

Troumpoukis, Antonis ; Konstantopoulos, Stasinos ; Charalambidis, Angelos

Fulltext disponibile

10
Formulating description logic learning as an Inductive Logic Programming task
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Formulating description logic learning as an Inductive Logic Programming task

Konstantopoulos, Stasinos ; Charalambidis, Angelos

International Conference on Fuzzy Systems, 2010-07, p.1-7

Fulltext disponibile

Risutati 1 - 10 di 17  per Ricerca globale

Risultati 1 2 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (6)

Affina i risultati

Nuove accessioni 

  1. Dagli Ultimi 3 Mesi 
  2. Altre opzioni open sub menu

Data di pubblicazione 

Da A
  1. Prima del2010 
  2. 2010-2013 
  3. 2014-2014 
  4. 2015-2016 
  5. Dopo il 2016 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...