Combining First-Order Logic and Logic Programming Using Fol-programs

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts around...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15767596

BuchFr. 69.90
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15767596

BuchFr. 69.90
Jetzt vorbestellen
The integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts around...

Kommentar zu "Combining First-Order Logic and Logic Programming Using Fol-programs"

Andere Kunden kauften auch

0 Gebrauchte Artikel zu „Combining First-Order Logic and Logic Programming Using Fol-programs“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung