Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by MARCELO TALLIS
Adding Deductive Logic to a COTS Spreadsheet
Knowledge Engineering Review
Artificial Intelligence
Software
Related publications
The Halting Problem for Deductive Synthesis of Logic Programs
From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence, Edited by A. Thayse Wiley, Chichester, 1989, Xxiv + 380 Pp. (£19.95)
Robotica
Control
Systems Engineering
Software
Computer Science Applications
Mathematics
A Mathematical Model of Deductive and Non-Deductive Inferences
Annals of the Japan Association for Philosophy of Science
Checking Integrity Constraints in Deductive Systems Based on Production Rules and a Description Logic Terminology
Using COTS to Construct a High Performance Robot Arm
Proceedings - IEEE International Conference on Robotics and Automation
Control
Systems Engineering
Electronic Engineering
Electrical
Artificial Intelligence
Software
An Active-Architecture Approach to COTS Integration
IEEE Software
Software
XMOISE: A Logical Spreadsheet to Elicit Didactic Knowledge
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Analysis of Deductive-Query Processing Approaches for Logic Macroprograms in Wireless Sensor Networks
Engineering Journal
Engineering
Social Spreadsheet
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
