Works matching DE "LOGIC programming"

Results: 1057

A Switch Block for Multi-Context FPGAs Based on Floating-Gate-MOS Functional Pass-Gates Using Multiple/Binary Valued Hybrid Signals.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2011, v. 17, n. 5-6, p. 553

By:

Ishihara, Shota;
Idobata, Noriaki;
Nakatani, Yoshihiro;
Hariyama, Masanori;
Kameyama, Michitaka

Publication type:

Article

A Constraint-Based Framework for Test Case Generation in Method-Level Black-Box Unit Testing.

Published in:

Journal of Information Science & Engineering, 2016, v. 32, n. 2, p. 365

By:

CHI-KUANG CHANG;
NAI-WEI LIN

Publication type:

Article

A Network Representation of First-Order Logic That Uses Token Evolution for Inference.

Published in:

Journal of Information Science & Engineering, 2014, v. 30, n. 3, p. 669

By:

HIDEAKI SUZUKI;
MIKIO YOSHIDA;
HIDEFUMI SAWAI

Publication type:

Article

Automated legal reasoning with discretion to act using s(LAW).

Published in:

Artificial Intelligence & Law, 2024, v. 32, n. 4, p. 1141, doi. 10.1007/s10506-023-09376-5

By:

Arias, Joaquín;
Moreno-Rebato, Mar;
Rodriguez-García, Jose A.;
Ossowski, Sascha

Publication type:

Article

Logical English meets legal English for swaps and derivatives.

Published in:

Artificial Intelligence & Law, 2022, v. 30, n. 2, p. 163, doi. 10.1007/s10506-021-09295-3

By:

Kowalski, Robert;
Datoo, Akber

Publication type:

Article

Resolving counterintuitive consequences in law using legal debugging.

Published in:

Artificial Intelligence & Law, 2021, v. 29, n. 4, p. 541, doi. 10.1007/s10506-021-09283-7

By:

Fungwacharakorn, Wachara;
Tsushima, Kanae;
Satoh, Ken

Publication type:

Article

I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies.

Published in:

Artificial Intelligence & Law, 2013, v. 21, n. 4, p. 371, doi. 10.1007/s10506-013-9143-1

By:

Balke, Tina;
De Vos, Marina;
Padget, Julian

Publication type:

Article

The modular logic of private international law.

Published in:

Artificial Intelligence & Law, 2011, v. 19, n. 2/3, p. 233, doi. 10.1007/s10506-011-9112-5

By:

Dung, Phan;
Sartor, Giovanni

Publication type:

Article

Integrating induction and deduction for finding evidence of discrimination.

Published in:

Artificial Intelligence & Law, 2010, v. 18, n. 1, p. 1, doi. 10.1007/s10506-010-9089-5

By:

Ruggieri, Salvatore;
Pedreschi, Dino;
Turini, Franco

Publication type:

Article

Pruning strategies for the efficient traversal of the search space in PILP environments.

Published in:

Knowledge & Information Systems, 2021, v. 63, n. 12, p. 3183, doi. 10.1007/s10115-021-01620-1

By:

Côrte-Real, Joana;
Dutra, Inês;
Rocha, Ricardo

Publication type:

Article

OntoILPER: an ontology- and inductive logic programming-based system to extract entities and relations from text.

Published in:

Knowledge & Information Systems, 2018, v. 56, n. 1, p. 223, doi. 10.1007/s10115-017-1108-3

By:

Lima, Rinaldo;
Espinasse, Bernard;
Freitas, Fred

Publication type:

Article

Activity qualifiers using an argument-based construction.

Published in:

Knowledge & Information Systems, 2018, v. 54, n. 3, p. 633, doi. 10.1007/s10115-017-1112-7

By:

Guerrero, Esteban;
Nieves, Juan Carlos;
Sandlund, Marlene;
Lindgren, Helena

Publication type:

Article

Analyzing program behavior through active automata learning.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 531, doi. 10.1007/s10009-014-0333-2

By:

Bauer, Oliver;
Geske, Maren;
Isberner, Malte

Publication type:

Article

BDD-based software verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 507, doi. 10.1007/s10009-014-0334-1

By:

Beyer, Dirk;
Stahlbauer, Andreas

Publication type:

Article

Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 519, doi. 10.1007/s10009-014-0335-0

By:

Morse, Jeremy;
Cordeiro, Lucas;
Nicole, Denis;
Fischer, Bernd

Publication type:

Article

Property-driven benchmark generation: synthesizing programs of realistic structure.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 465, doi. 10.1007/s10009-014-0336-z

By:

Steffen, Bernhard;
Isberner, Malte;
Naujokat, Stefan;
Margaria, Tiziana;
Geske, Maren

Publication type:

Article

Widening techniques for regular tree model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 145, doi. 10.1007/s10009-011-0208-8

By:

Bouajjani, Ahmed;
Touili, Tayssir

Publication type:

Article

CLPS–B – A constraint solver to animate a B specification.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 143, doi. 10.1007/s10009-003-0123-8

By:

Bouquet, Fabrice;
Legeard, Bruno;
Peureux, Fabien

Publication type:

Article

Model-based testing for real: The inhouse card case study.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 140, doi. 10.1007/s10009-003-0128-3

By:

Pretschner, A.;
Slotosch, O.;
Aiglstorfer, E.;
Kriebel, S.

Publication type:

Article

OMEN: network-based driver gene identification using mutual exclusivity.

Published in:

Bioinformatics, 2022, v. 38, n. 12, p. 3245, doi. 10.1093/bioinformatics/btac312

By:

Daele, Dries Van;
Weytjens, Bram;
Raedt, Luc De;
Marchal, Kathleen

Publication type:

Article

Robust network inference using response logic.

Published in:

Bioinformatics, 2019, v. 35, n. 14, p. i634, doi. 10.1093/bioinformatics/btz326

By:

Gross, Torsten;
Wongchenko, Matthew J;
Yan, Yibing;
Blüthgen, Nils

Publication type:

Article

BioMake: a GNU make-compatible utility for declarative workflow management.

Published in:

Bioinformatics, 2017, v. 33, n. 21, p. 3502, doi. 10.1093/bioinformatics/btx306

By:

Holmes, Ian H.;
Mungall, Christopher J.

Publication type:

Article

Evaluating bacterial gene-finding HMM structures as probabilistic logic programs.

Published in:

Bioinformatics, 2012, v. 28, n. 5, p. 636

By:

Mørk, Søren;
Holmes, Ian

Publication type:

Article

DX: A Deontic Expert System.

Published in:

Journal of Management Information Systems, 1995, v. 12, n. 1, p. 145, doi. 10.1080/07421222.1995.11518073

By:

Lee, Ronald M.;
Ryu, Young U.

Publication type:

Article

Shopping in the Electronic Marketplace.

Published in:

Journal of Management Information Systems, 1986, v. 2, n. 4, p. 21, doi. 10.1080/07421222.1986.11517744

By:

Lee, Ronald M.;
Widmeyer, George R.

Publication type:

Article

Information System Semantics (A Logic-Based Approach).

Published in:

Journal of Management Information Systems, 1984, v. 1, n. 2, p. 18, doi. 10.1080/07421222.1984.11517702

By:

Lee, Ronald M.

Publication type:

Article

A PEDAGOGICAL METHOD OF TEACHING NESTED LOOPS IN INTRODUCTORY PROGRAMMING COURSES.

Published in:

Pedagogy / Pedagogika (0861-3982), 2025, v. 97, p. 121, doi. 10.53656/ped2025-4s.09

By:

Skuka, Arjan;
Kozanoğlu, Orkun;
Bulut, Faruk

Publication type:

Article

El concepto de "asertabilidad garantizada" en la lógica naturalista de Dewey: tres malentendidos.

Published in:

Teorema, 2024, v. 43, n. 1, p. 29

By:

Faerna, Ángel M.

Publication type:

Article

Harnessing Tree Soft Set and Soft Computing Techniques' Capabilities in Bioinformatics: Analysis, Improvements, and Applications.

Published in:

Neutrosophic Sets & Systems, 2023, v. 61, p. 579

By:

Gharib, Mona;
Rajab, Fatima;
Mohamed, Mona

Publication type:

Article

TLP volume 14 issue 2 Cover and Back matter.

Published in:: Theory & Practice of Logic Programming, 2014, v. 14, n. 2, p. b1, doi. 10.1017/S1471068414000040
Publication type:: Article

TLP volume 14 issue 2 Cover and Front matter.

Published in:: Theory & Practice of Logic Programming, 2014, v. 14, n. 2, p. f1, doi. 10.1017/S1471068414000039
Publication type:: Article

Rewriting and narrowing for constructor systems with call-time choice semantics.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 2, p. 165, doi. 10.1017/S1471068412000373

By:

LÓPEZ-FRAGUAS, FRANCISCO J.;
MARTIN-MARTIN, ENRIQUE;
RODRÍGUEZ-HORTALÁ, JUAN;
SÁNCHEZ-HERNÁNDEZ, JAIME

Publication type:

Article

Transforming floundering into success.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 2, p. 215, doi. 10.1017/S147106841200035X

By:

NAISH, LEE

Publication type:

Article

TLP volume 14 issue 1 Cover and Front matter.

Published in:: Theory & Practice of Logic Programming, 2014, v. 14, n. 1, p. f1, doi. 10.1017/S1471068413000604
Publication type:: Article

The third open answer set programming competition.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 1, p. 117, doi. 10.1017/S1471068412000105

By:

CALIMERI, FRANCESCO;
IANNI, GIOVAMBATTISTA;
RICCA, FRANCESCO

Publication type:

Article

Singular and plural functions for functional logic programming.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 1, p. 65, doi. 10.1017/S147106841200004X

By:

RIESCO, ADRIÁN;
RODRÍGUEZ-HORTALÁ, JUAN

Publication type:

Article

A Transformation-based implementation for CLP with qualification and proximity.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 1, p. 1, doi. 10.1017/S1471068412000014

By:

CABALLERO, R.;
RODRÍGUEZ-ARTALEJO, M.;
ROMERO-DÍAZ, C. A.

Publication type:

Article

TLP volume 13 issue 6 Cover and Back matter.

Published in:: Theory & Practice of Logic Programming, 2013, v. 13, n. 6, p. b1, doi. 10.1017/S1471068413000586
Publication type:: Article

TLP volume 13 issue 6 Cover and Front matter.

Published in:: Theory & Practice of Logic Programming, 2013, v. 13, n. 6, p. f1, doi. 10.1017/S1471068413000574
Publication type:: Article

Region-based memory management for Mercury programs.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 6, p. 959, doi. 10.1017/S1471068412000075

By:

PHAN, QUAN;
JANSSENS, GERDA;
SOMOGYI, ZOLTAN

Publication type:

Article

Dynamics of knowledge in DeLP through Argument Theory Change.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 6, p. 893, doi. 10.1017/S1471068411000603

By:

MOGUILLANSKY, MARTÍN O.;
ROTSTEIN, NICOLÁS D.;
FALAPPA, MARCELO A.;
GARCÍA, ALEJANDRO J.;
SIMARI, GUILLERMO R.

Publication type:

Article

On the stable model semantics for intensional functions.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 863, doi. 10.1017/S1471068413000549

By:

BARTHOLOMEW, MICHAEL;
LEE, JOOHYUNG;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 831, doi. 10.1017/S1471068413000525

By:

ERDEM, ESRA;
PATOGLU, VOLKAN;
SARIBATUR, ZEYNEP G.;
SCHÜLLER, PETER;
URAS, TANSEL;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

A declarative approach to distributed computing: Specification, execution and analysis.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 815, doi. 10.1017/S1471068413000513

By:

MA, JIEFEI;
LE, FRANCK;
WOOD, DAVID;
RUSSO, ALESSANDRA;
LOBO, JORGE;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

BigYAP: Exo-compilation meets UDI.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 799, doi. 10.1017/S1471068413000501

By:

SANTOS COSTA, VÍTOR;
VAZ, DAVID;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Probabilistic legal reasoning in CHRiSM.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 769, doi. 10.1017/S1471068413000483

By:

SNEYERS, JON;
DE SCHREYE, DANNY;
FRÜHWIRTH, THOM;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Fuzzy answer sets approximations.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 753, doi. 10.1017/S1471068413000471

By:

ALVIANO, MARIO;
PEÑALOZA, RAFAEL;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 737, doi. 10.1017/S147106841300046X

By:

GRECO, SERGIO;
MOLINARO, CRISTIAN;
TRUBITSYNA, IRINA;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

A practical analysis of non-termination in large logic programs.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 705, doi. 10.1017/S1471068413000446

By:

LIANG, SENLIN;
KIFER, MICHAEL;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 691, doi. 10.1017/S1471068413000434

By:

JANSEN, JOACHIM;
JORISSEN, ALBERT;
JANSSENS, GERDA;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article