Discover open access scientific publications

Search, annotate, share and cite publications

Publications by T.M.A. Basile

A General Similarity Framework for Horn Clause Logic

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Related publications

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Efficient Model Construction for Horn Logic With VLog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Horn Clause Programs With Polymorphic Types: Semantics and Resolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

A General Framework for Architecture Composability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Temporal Logic Based Framework for Intrusion Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A General Framework for Relational Parametricity

2018English

Logic-Based Genetic Programming With Definite Clause Translation Grammars

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
2001English

Uncertain Spatiotemporal Logic for General Intelligence

2010English

Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy