PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lucio, Paqui"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic White-Box Testing of First-Order Logic Ontologies.

, , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

Filigrane Nachhaltigkeit : Die Erweiterung und Modernisierung des Hôtel de Ville von Chartres. Ingenieurbaukunst 2024 : Made in Germany, Ernst & Sohn, Berlin, (2024)
Filigrane Nachhaltigkeit : Die Erweiterung und Modernisierung des Hôtel de Ville von Chartres. Ingenieurbaukunst 2024 : Made in Germany, Ernst & Sohn, Berlin, (2024)Leichtbau oder ökologisch leichter bauen : Was kann das heute bedeuten?, , , and . Ingenieurbaukunst 2024 : Made in Germany, Ernst & Sohn, Berlin, (2024)

Lucio Blandini

 

Other publications of authors with the same name

Automatic White-Box Testing of First-Order Logic Ontologies., , , and . CoRR, (2017)Translating propositional extended conjunctions of Horn clauses into Boolean circuits., , , and . Theor. Comput. Sci., 411 (16-18): 1723-1733 (2010)Preface., , and . Electron. Notes Theor. Comput. Sci., 258 (1): 1-2 (2009)Improving the Competency of First-Order Ontologies., , and . K-CAP, page 15:1-15:8. ACM, (2015)A Functorial Framework for Constraint Normal Logic Programming., , , and . Applied Categorical Structures, 16 (3): 421-450 (2008)A New Proposal Of Quasi-Solved Form For Equality Constraint Solving., and . Electron. Notes Theor. Comput. Sci., (2008)An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs., , and . J. Log. Program., 40 (1): 89-124 (1999)Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning., , and . 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 of Lecture Notes in Computer Science, page 88-104. Springer, (2000)A Strong Logic Programming View for Static Embedded Implications., , and . FoSSaCS, volume 1578 of Lecture Notes in Computer Science, page 56-72. Springer, (1999)