Amanote Research

Amanote Research

    RegisterSign In

Linear Deductive Planning

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/6.2.233
Full Text
Open PDF
Abstract

Available in full text

Categories
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
Date

April 1, 1996

Authors
G Grosse
Publisher

Oxford University Press (OUP)


Related search

Inconsistency of the Inductive and Deductive Inference in Planning Process

Journal of Architecture and Planning (Transactions of AIJ)
2008English

Deductive Biocomputing

PLoS ONE
Multidisciplinary
2007English

A Mathematical Model of Deductive and Non-Deductive Inferences

Annals of the Japan Association for Philosophy of Science
2009English

Deductive Software Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

Deductive Data Warehouses

International Journal of Data Warehousing and Mining
HardwareArchitectureSoftware
2014English

At the Core of Reasoning: Dissociating Deductive and Non-Deductive Load

Human Brain Mapping
Nuclear MedicineRadiologyUltrasound TechnologyAnatomyRadiologicalNeurologyImaging
2018English

On Modal Deductive Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Deductive Systems for BigData Integration

Journal of Economic Development, Environment and People
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy