Adding Deductive Logic to a COTS Spreadsheet

Knowledge Engineering Review - United Kingdom
doi 10.1017/s0269888907001166
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

The Halting Problem for Deductive Synthesis of Logic Programs

1994English

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
ControlSystems EngineeringSoftwareComputer Science ApplicationsMathematics
1990English

A Mathematical Model of Deductive and Non-Deductive Inferences

Annals of the Japan Association for Philosophy of Science
2009English

Checking Integrity Constraints in Deductive Systems Based on Production Rules and a Description Logic Terminology

2004English

Using COTS to Construct a High Performance Robot Arm

Proceedings - IEEE International Conference on Robotics and Automation
ControlSystems EngineeringElectronic EngineeringElectricalArtificial IntelligenceSoftware
2007English

An Active-Architecture Approach to COTS Integration

IEEE Software
Software
2005English

XMOISE: A Logical Spreadsheet to Elicit Didactic Knowledge

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

An Analysis of Deductive-Query Processing Approaches for Logic Macroprograms in Wireless Sensor Networks

Engineering Journal
Engineering
2012English

Social Spreadsheet

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy