Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by LEOPOLDO E. BERTOSSI
Circumscription in Data Logic for Data Type Specification
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
Requirements Variability Specification for Data Intensive Software
International Journal of Software Engineering & Applications
REF Data Dictionary Specification for Computational Electromagnetics.
Biometric Data Specification for Personal Identity Verification
Network Standard Data Specification Syntax
From Answer Set Logic Programming to Circumscription via Logic of GK
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Using Fuzzy Logic for Data Aggregation in Vehicular Networks
Multidimensional Ontologies for Contextual Quality Data Specification and Extraction
Dynamic Logic for Data-Aware Systems: Decidability Results
Collecting Data About Logic Simulation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
