Works matching DE "LOGIC machines"

Results: 144

Should Artificial Intelligence Be Regulated?

Published in:

Issues in Science & Technology, 2017, v. 33, n. 4, p. 32

By:

ETZIONI, AMITAI;
ETZIONI, OREN

Publication type:

Article

On the usage of qualitative reasoning as an approach towards enterprise modelling.

Published in:

Annals of Operations Research, 1995, v. 55, n. 1-4, p. 101, doi. 10.1007/BF02031718

By:

Hinkkanen, Aimo;
Lang, Karl Reiner;
Whinston, Andrew B.

Publication type:

Article

Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2018, v. 30, n. 6, p. 831, doi. 10.1080/0952813X.2018.1509377

By:

Chrpa, Lukáš;
Vallati, Mauro;
McCluskey, Thomas Leo

Publication type:

Article

Time-series analysis with neural networks and ARIMA-neural network hybrids.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2003, v. 15, n. 3, p. 315, doi. 10.1080/0952813031000116488

By:

Hansen, James V.;
Nelson, Ray D.

Publication type:

Article

Computational Technologies and Images of the Self.

Published in:

Social Research, 1997, v. 64, n. 3, p. 1093

By:

Turkle, Sherry

Publication type:

Article

2. ARTIFICIAL NEURAL NETWORKS.

Published in:

Textile Progress, 2004, v. 35, n. 1, p. 3, doi. 10.1080/00405160408688961

By:

Chattopadhyay, R.;
Guha, A.

Publication type:

Article

PREDICTIONS AND DIAGNOSTICS IN EXPERIMENTAL DATA USING SUPPORT VECTOR REGRESSION.

Published in:

International Journal on Artificial Intelligence Tools, 2009, v. 18, n. 1, p. 163, doi. 10.1142/S0218213009000093

By:

SAKHANENKO, NIKITA A.;
LUGER, GEORGE F.;
MAKARUK, HANNA E.;
HOLTKAMP, DAVID B.

Publication type:

Article

OPTIMIZED TECHNIQUE FOR DNA STRUCTURAL PROPERTIES DISCOVERING.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 695, doi. 10.1142/S0218213006002886

By:

MASOTTI, DANIELE;
FICARRA, ELISA;
MACII, ENRICO;
BENINI, LUCA

Publication type:

Article

STATISTICAL MODEL SELECTION METHOD TO ANALYZE COMBINATORIAL EFFECTS OF SNPS AND ENVIRONMENTAL FACTORS FOR BINARY DISEASE.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 711, doi. 10.1142/S0218213006002898

By:

NAKAMICHI, REIICHIRO;
IMOTO, SEIYA;
MIYANO, SATORU

Publication type:

Article

EFFECTIVE COMPUTATIONAL REUSE FOR ENERGY EVALUATIONS IN PROTEIN FOLDING.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 725, doi. 10.1142/S0218213006002904

By:

SANTOS, EUNICE E.;
SANTOS JR., EUGENE

Publication type:

Article

VIRTUAL REALITY IN BRAIN INTERVENTION.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 741, doi. 10.1142/S0218213006002916

By:

NOWINSKI, WIESLAW L.

Publication type:

Article

PREDICTING CANCEROUS GENES BASED ON REGULATION TRUTH TABLES.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 753, doi. 10.1142/S0218213006002928

By:

CHEN, RONG-MING;
SHIH, KUEI-CHUNG;
HU, ROUH-MEI;
TSAI, JEFFREY J. P.

Publication type:

Article

THE RIGHT THRESHOLD VALUE:: WHAT IS THE RIGHT THRESHOLD OF COSINE MEASURE WHEN USING LATENT SEMANTIC ANALYSIS FOR EVALUATING STUDENT ANSWERS?

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 767, doi. 10.1142/S021821300600293X

By:

PENUMATSA, PHANNI;
VENTURA, MATTHEW;
GRAESSER, ARTHUR C.;
LOUWERSE, MAX;
HU, XIANGEN;
CAI, ZHIQIANG;
FRANCESCHETTI, DONALD R.

Publication type:

Article

T-SATPLAN:: A SAT-BASED TEMPORAL PLANNER.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 779, doi. 10.1142/S0218213006002941

By:

MALI, AMOL DATTATRAYA;
LIU, YING

Publication type:

Article

MISSION-ADAPTABLE ROUTE PLANNING IN UNCERTAIN AND ADVERSARIAL ENVIRONMENT.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 803, doi. 10.1142/S0218213006002953

By:

YAN, PING;
DING, MINGYUE;
ZHENG, CHANGWEN

Publication type:

Article

WEB MISUSE DETECTION THROUGH TEXT CATEGORISATION OF APPLICATION SERVER LOGS.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 849, doi. 10.1142/S0218213006002989

By:

GARCÍA ADEVA, JUAN JOSÉ;
PIKATZA ATXA, JUAN MANUEL

Publication type:

Article

AGGREGATION OF MULTIPLE REINFORCEMENT LEARNING ALGORITHMS.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 5, p. 855, doi. 10.1142/S0218213006002990

By:

JIANG, JU;
KAMEL, MOHAMED S.;
CHEN, LEI

Publication type:

Article

IMPLEMENTING THE MODEL EVOLUTION CALCULUS.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 21, doi. 10.1142/S0218213006002552

By:

BAUMGARTNER, PETER;
FUCHS, ALEXANDER;
TINELLI, CESARE

Publication type:

Article

DISAMBIGUATION VIA DEFAULT RULES UNDER ANSWERING COMPLEX QUESTIONS.

Published in:

International Journal on Artificial Intelligence Tools, 2005, v. 14, n. 1/2, p. 157, doi. 10.1142/S0218213005002041

By:

GALITSKY, BORIS

Publication type:

Article

LIST OF REVIEWERS.

Published in:: International Journal on Artificial Intelligence Tools, 2004, v. 13, n. 2, p. 427, doi. 10.1142/S0218213004001612
Publication type:: Article

High Performance Logic Form Transformation.

Published in:

International Journal on Artificial Intelligence Tools, 2002, v. 11, n. 3, p. 437, doi. 10.1142/S0218213002000976

By:

Rus, Vasile;
Moldovan, Dan I.

Publication type:

Article

THE LEGALITY OF ARTIFICIAL INTELLIGENCE'S UNAUTHORIZED USE OF COPYRIGHTED MATERIALS UNDER CHINA AND U.S. LAW.

Published in:

IDEA: The Intellectual Property Law Review, 2023, v. 63, n. 2, p. 241

By:

YUDONG CHEN

Publication type:

Article

YAPAY ZEKA KULLANILARAK SANAL LABORATUAR TASARIMINDA ÇEKME TESTİNİN MODELLENMESİ.

Published in:

Journal of the Faculty of Engineering & Architecture of Gazi University / Gazi Üniversitesi Mühendislik Mimarlık Fakültesi Dergisi,, 2012, v. 27, n. 1, p. 205

By:

Kubat, Cemalettin;
Kiraz, Alper

Publication type:

Article

SATISFICING LOGIC AND GOAL PROGRAMMING: TOWARDS AN AXIOMATIC LINK.

Published in:

INFOR, 2004, v. 42, n. 3, p. 157

By:

Jacinto González- Pachón;
Romero, Carlos

Publication type:

Article

Virtualizing the Real: sequelization and secondary memory in Steven Spielberg's Artificial Intelligence: A. I.

Published in:

Screen, 2006, v. 47, n. 3, p. 347, doi. 10.1093/screen/hjl026

By:

Jess-Cooke, Carolyn

Publication type:

Article

Artificial Intelligence and the Soul.

Published in:

Perspectives on Science & Christian Faith, 2008, v. 60, n. 2, p. 95

By:

Bjork, Russell C.

Publication type:

Article

Cognitivity Everywhere: The Omnipresence of Intelligent Machines and the Possible Social Impacts.

Published in:

World Future Review (Sage Publications Inc.), 2014, v. 6, n. 2, p. 114, doi. 10.1177/1946756714533206

By:

Pupo, Alexandre

Publication type:

Article

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 649

By:

BAAZ, MATTHIAS;
PREINING, NORBERT

Publication type:

Article

Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 509

By:

RYBAKOV, V.

Publication type:

Article

A New Modal Approach to the Logic of Intervals.

Published in:

Journal of Logic & Computation, 2007, v. 17, n. 2, p. 221, doi. 10.1093/logcom/exl007

By:

Hussain, Altaf

Publication type:

Article

CLASSIFICATION OF MENTAL TASKS FROM EEG SIGNALS USING EXTREME LEARNING MACHINE.

Published in:

International Journal of Neural Systems, 2006, v. 16, n. 1, p. 29, doi. 10.1142/S0129065706000482

By:

LIANG, NAN-YING;
SARATCHANDRAN, PARAMASIVAN;
HUANG, GUANG-BIN;
SUNDARARAJAN, NARASIMHAN

Publication type:

Article

How to Mine Information from Each Instance to Extract an Abbreviated and Credible Logical Rule.

Published in:

Entropy, 2014, v. 16, n. 10, p. 5242, doi. 10.3390/e16105242

By:

Limin Wang;
Minghui Sun;
Chunhong Cao;
Knuth, Kevin H.

Publication type:

Article

Assessment of high (diurnal) to low (seasonal) frequency variations of isoprene emission rates using a neural network approach.

Published in:

Atmospheric Chemistry & Physics, 2008, v. 8, n. 7, p. 2089, doi. 10.5194/acp-8-2089-2008

By:

Boissard, C.;
Chervier, F.;
Dutot, A. L.

Publication type:

Article

New Methods for Estimating the Dimension Fractal Introducing the Artificial Intelligence.

Published in:

Acta Applicandae Mathematicae, 2010, v. 109, n. 3, p. 1043, doi. 10.1007/s10440-008-9358-4

By:

Zerroug, A.;
Schoëvaërt-Brossault, D.;
Rebiai, S.

Publication type:

Article

From equations to patterns: logic-based approach to general systems theory.

Published in:

International Journal of General Systems, 2002, v. 31, n. 2, p. 183, doi. 10.1080/03081070290017903

By:

Krivov, Serguei;
Dahiya, Anju;
Ashraf, Jaweed

Publication type:

Article

SOBRE LA REALIDAD Y LA EXISTENCIA DE LOS OBJETOS INFORMATICOS.

Published in:

Universitas Philosophica, 2009, v. 26, n. 53, p. 181

By:

RUEDA, MAGDALENA PRADILLA

Publication type:

Article

AUTHENTIC INTERACTIVE REENACTMENT OF CULTURAL HERITAGE WITH 3D VIRTUAL WORLDS AND ARTIFICIAL INTELLIGENCE.

Published in:

Applied Artificial Intelligence, 2010, v. 24, n. 6, p. 617, doi. 10.1080/08839514.2010.492172

By:

Bogdanovych, A.;
Rodriguez-Aguilar, J. A.;
Simoff, S.;
Cohen, A.

Publication type:

Article

QUESTION ANSWERING USING QUESTION CLASSIFICATION AND DOCUMENT TAGGING.

Published in:

Applied Artificial Intelligence, 2009, v. 23, n. 6, p. 500, doi. 10.1080/08839510903078093

By:

Chali, Yllias

Publication type:

Article

Implementation of High-Voltage Multilevel Harmonic Filter Based on Rotated Carrier Modulation and Artificial Intelligence-Based Controllers.

Published in:

Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2014, v. 39, n. 10, p. 7127, doi. 10.1007/s13369-014-1280-7

By:

Mahajan, Vasundhara;
Agarwal, Pramod;
Gupta, Hari

Publication type:

Article

Knowledge-Based Systems: A Qualitative Formalism.

Published in:

Qualitative Sociology, 1986, v. 9, n. 3, p. 256, doi. 10.1007/BF00988401

By:

Brent Jr, Edward E.

Publication type:

Article

Text, Competence and Logic: An Exercise.

Published in:

Qualitative Sociology, 1986, v. 9, n. 3, p. 215, doi. 10.1007/BF00988399

By:

Gilbert, G.Nigel;
Heath, Christian

Publication type:

Article

Introduction: Ask What You Can Do for AI.

Published in:

Qualitative Sociology, 1986, v. 9, n. 3, p. 213, doi. 10.1007/BF00988398

By:

Glassner, Barry

Publication type:

Article

Artificial Intelligence: What's It Going to Do For Us, and When?

Published in:

Qualitative Sociology, 1985, v. 8, n. 3, p. 297

By:

Gerson, Elihu M.

Publication type:

Article

Riffled Independence for Efficient Inference with Partial Rankings.

Published in:

Journal of Artificial Intelligence Research, 2012, v. 44, p. 491, doi. 10.1613/jair.3543

By:

Huang, Jonathan;
Kapoor, Ashish;
Guestrin, Carlos

Publication type:

Article

Mechanisms for Multi-Unit Auctions.

Published in:

Journal of Artificial Intelligence Research, 2010, v. 37, p. 85, doi. 10.1613/jair.2950

By:

Dobzinski, Shahar;
Nisan, Noam

Publication type:

Article

Generalizing Boolean Satisfiability II: Theory.

Published in:

Journal of Artificial Intelligence Research, 2004, v. 22, p. 481, doi. 10.1613/jair.1555

By:

Dixon, Heidi E.;
Ginsberg, Matthew L.;
Luks, Eugene M.;
Parkes, Andrew J.

Publication type:

Article

A Maximal Tractable Class of Soft Constraints.

Published in:

Journal of Artificial Intelligence Research, 2004, v. 22, p. 1, doi. 10.1613/jair.1400

By:

Cohen, David;
Cooper, Martin;
Jeavons, Peter;
Krokhin, Andrei

Publication type:

Article

Self-improving AI: an Analysis.

Published in:

Minds & Machines, 2007, v. 17, n. 3, p. 249, doi. 10.1007/s11023-007-9065-3

By:

Hall, John Storrs

Publication type:

Article

LOGICAL TRANSLATION OF ENGLISH.

Published in:

Journal of the Operations Research Society of America, 1955, v. 3, n. 1, p. 104, doi. 10.1287/opre.3.1.104

By:

Gilmore, John W.

Publication type:

Article

The invertibility of the XOR of rotations of a binary word.

Published in:

International Journal of Computer Mathematics, 2011, v. 88, n. 2, p. 281, doi. 10.1080/00207161003596708

By:

Rivest, RonaldL.

Publication type:

Article