PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Lucio, Paqui"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic White-Box Testing of First-Order Logic Ontologies.

, , , und . CoRR, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lucio Blandini

Univ. -Prof. Dr. -Ing. Lucio Blandini University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic White-Box Testing of First-Order Logic Ontologies., , , und . CoRR, (2017)Translating propositional extended conjunctions of Horn clauses into Boolean circuits., , , und . Theor. Comput. Sci., 411 (16-18): 1723-1733 (2010)Preface., , und . Electron. Notes Theor. Comput. Sci., 258 (1): 1-2 (2009)Improving the Competency of First-Order Ontologies., , und . K-CAP, Seite 15:1-15:8. ACM, (2015)A Functorial Framework for Constraint Normal Logic Programming., , , und . Applied Categorical Structures, 16 (3): 421-450 (2008)A New Proposal Of Quasi-Solved Form For Equality Constraint Solving., und . Electron. Notes Theor. Comput. Sci., (2008)An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs., , und . J. Log. Program., 40 (1): 89-124 (1999)Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning., , und . Int. J. Semantic Web Inf. Syst., 8 (4): 80-116 (2012)Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic.. FroCoS, Volume 1794 von Lecture Notes in Computer Science, Seite 88-104. Springer, (2000)A Strong Logic Programming View for Static Embedded Implications., , und . FoSSaCS, Volume 1578 von Lecture Notes in Computer Science, Seite 56-72. Springer, (1999)