Works matching DE "LOGIC programming"

Results: 1043

Conversion of the Spanish WordNet databases into a Prolog-readable format.

Published in:

Language Resources & Evaluation, 2025, v. 59, n. 2, p. 1631, doi. 10.1007/s10579-024-09752-w

By:

Julián-Iranzo, Pascual;
Rigau, Germán;
Sáenz-Pérez, Fernando;
Velasco-Crespo, Pablo

Publication type:

Article

A Divide, Align, and Conquer Strategy For Program Synthesis.

Published in:

Journal of Artificial Intelligence Research, 2025, v. 82, p. 1961, doi. 10.1613/jair.1.16847

By:

Witt, Jonas;
Dumančić, Sebastijan;
Guns, Tias;
Carbon, Claus-Christian

Publication type:

Article

Forgetting in Abstract Argumentation: Limits and Possibilities.

Published in:

Journal of Artificial Intelligence Research, 2025, v. 82, p. 389, doi. 10.1613/jair.1.17149

By:

Baumann, Ringo;
Berthold, Matti;
Gabbay, Dov;
Rodrigues, Odinaldo

Publication type:

Article

AN INTEGRATIVE DOMAIN-BASED APPROACH TO PREDICTING PROTEIN–PROTEIN INTERACTIONS.

Published in:

Journal of Bioinformatics & Computational Biology, 2008, v. 6, n. 6, p. 1115, doi. 10.1142/S0219720008003874

By:

NGUYEN, THANH-PHUONG;
HO, TU-BAO

Publication type:

Article

GENERATION OF A LARGE GENE/PROTEIN LEXICON BY MORPHOLOGICAL PATTERN ANALYSIS.

Published in:

Journal of Bioinformatics & Computational Biology, 2004, v. 1, n. 4, p. 611, doi. 10.1142/S0219720004000399

By:

Tanabe, Lorraine;
Wilbur, W. John

Publication type:

Article

A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making.

Published in:

Fuzzy Optimization & Decision Making, 2020, v. 19, n. 3, p. 251, doi. 10.1007/s10700-020-09319-8

By:

Wang, Xinxin;
Xu, Zeshui;
Gou, Xunjie

Publication type:

Article

Logical scalability and efficiency of relational learning algorithms.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2019, v. 28, n. 2, p. 147, doi. 10.1007/s00778-018-0523-8

By:

Picado, Jose;
Termehchy, Arash;
Fern, Alan;
Ataei, Parisa

Publication type:

Article

Needs Hierarchy for Public Service Facilities and Guidance-Control Programming in Small Chinese Towns Influenced by Complex Urbanization of Residents: The Evidence from Zhejiang.

Published in:

Land (2012), 2023, v. 12, n. 6, p. 1205, doi. 10.3390/land12061205

By:

Qiu, Zhi;
Wang, Yue;
Wang, Jie;
Wang, Zhu;
Zhou, Yi

Publication type:

Article

Simulacija in izboljšava prometnih tokov: primer na dveh izbranih slovenskih križiščih.

Published in:

Uporabna Informatika, 2022, v. 33, n. 5, p. 151

By:

Gec, Sandi;
Stankovski, Vlado;
Bajec, Marko;
Žitnik, Slavko

Publication type:

Article

Features of an Error Correction Memory to Enhance Technical Texts Authoring in LELIE.

Published in:

International Journal of Knowledge Content Development & Technology, 2015, v. 5, n. 2, p. 75, doi. 10.5865/IJKCT.2015.5.2.075

By:

Saint-Dizier, Patrick

Publication type:

Article

PREDICTION OF BUILDING FLOORPLANS USING LOGICAL AND STOCHASTIC REASONING BASED ON SPARSE OBSERVATIONS.

Published in:

ISPRS Annals of Photogrammetry, Remote Sensing & Spatial Information Sciences, 2016, v. 4, n. 2/W1, p. 265, doi. 10.5194/isprs-annals-IV-2-W1-265-2016

By:

Loch-Dehbi, S.;
Dehbi, Y.;
Gröger, G.;
Plümer, L.

Publication type:

Article

AI Applications to the Law Domain in Japan.

Published in:

Asian Journal of Law & Society, 2020, v. 7, n. 3, p. 471, doi. 10.1017/als.2020.35

By:

NITTA, Katsumi;
SATOH, Ken

Publication type:

Article

CLP approach to optimal instruction scheduling for VLIW processors.

Published in:

Archives of Control Sciences, 2009, v. 19, n. 2, p. 127

By:

Domagała, Łukasz

Publication type:

Article

FUNCTIONAL FOLD BASED PROGRAMMING IN SWI-PROLOG.

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2014, v. 24, n. 1, p. 91

By:

POPA, DAN

Publication type:

Article

ANALYTIC TABLEAU, PROLOG, AND SYSTEMS OF NONLINEAR EQUATIONS.

Published in:

Mathematics & Computer Education, 2000, v. 34, n. 1, p. 53

By:

Maruszewski, Richard F.

Publication type:

Article

An Improved Hybrid Model for the Generic Hoist Scheduling Problem.

Published in:

Annals of Operations Research, 2002, v. 115, n. 1-4, p. 173, doi. 10.1023/A:1021101321339

By:

Riera, Daniel;
Yorke-Smith, Neil

Publication type:

Article

Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts.

Published in:

Annals of Operations Research, 2002, v. 115, n. 1-4, p. 15, doi. 10.1023/A:1021136801775

By:

Thorsteinsson, Erlendur S.;
Ottosson, Greger

Publication type:

Article

Cane Railway Scheduling via Constraint Logic Programming: Labelling Order and Constraints in a Real-Life Application.

Published in:

Annals of Operations Research, 2001, v. 108, n. 1-4, p. 193, doi. 10.1023/A:1016067230126

By:

Martin, Fae;
Pinkney, Arthur;
Xinghuo Yu

Publication type:

Article

A new approach to integrating mixed integer programming and constraint logic programming.

Published in:

Annals of Operations Research, 1999, v. 86, n. 1-4, p. 63, doi. 10.1023/A:1018904229454

By:

Rodošek, Robert;
Wallace, Mark G.;
Hajian, Mozafar T.

Publication type:

Article

A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions.

Published in:

Annals of Operations Research, 1997, v. 75, n. 1-4, p. 209, doi. 10.1023/A:1018959529628

By:

Ho Geun Lee;
Lee, Ronald M.

Publication type:

Article

Logic, modeling, and programming.

Published in:

Annals of Operations Research, 1997, v. 71, n. 1-4, p. 335, doi. 10.1023/A:1018979717390

By:

Mcaloon, Ken;
Tretkoff, Carol

Publication type:

Article

Metaheuristics: A bibliography.

Published in:

Annals of Operations Research, 1996, v. 63, n. 1-4, p. 513

By:

Osman, Ibrahim H.;
Laporte, Gilbert

Publication type:

Article

AUTOMATED MODEL CONSTRUCTION: A LOGIC BASED APPROACH.

Published in:

Annals of Operations Research, 1989, v. 21, n. 1-4, p. 195, doi. 10.1007/BF02022100

By:

Krishnan, Ramayya

Publication type:

Article

USING AI METHODOLOGIES IN MATHEMATICAL MODELING OF PRODUCTION SYSTEMS.

Published in:

Annals of Operations Research, 1989, v. 17, n. 1-4, p. 307, doi. 10.1007/BF02096611

By:

Burd, Stephen D.;
Kassicieh, Suleiman K.

Publication type:

Article

KNOWLEDGE-BASED MANPOWER PLANNING.

Published in:

Annals of Operations Research, 1988, v. 16, n. 1-4, p. 349, doi. 10.1007/BF02283753

By:

Bardens, Rupert;
Karagiannis, Dimitris

Publication type:

Article

Robótica educacional: uma experiência de auxílio ao aprendizado de alunos do 5° ao 7° ano do ensino fundamental na região da Serra Geral, Minas Gerais.

Published in:

Em Extensao, 2020, v. 19, n. 2, p. 222

By:

Silva Mendes, Lívia de Fátima;
David Lelis Aguiar, Saymon Valan;
da Silva França, Joyce Meire;
de Oliveira Freitas, Igor Sérgio

Publication type:

Article

A Prolog application for reasoning on maths puzzles with diagrams.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2023, v. 35, n. 7, p. 1079, doi. 10.1080/0952813X.2022.2062456

By:

Buscaroli, Riccardo;
Chesani, Federico;
Giuliani, Giulia;
Loreti, Daniela;
Mello, Paola

Publication type:

Article

A possibilistic defeasible logic programming approach to argumentation-based decision-making.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2014, v. 26, n. 4, p. 519, doi. 10.1080/0952813X.2014.921733

By:

Ferretti, Edgardo;
Errecalde, Marcelo L.;
García, Alejandro J.;
Simari, Guillermo R.

Publication type:

Article

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2009, v. 21, n. 2, p. 79, doi. 10.1080/09528130701538174

By:

Dovier, Agostino;
Formisano, Andrea;
Pontelli, Enrico

Publication type:

Article

Embedding prioritized circumscription in disjunctive logic programs.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 1999, v. 11, n. 4, p. 553, doi. 10.1080/095281399146427

By:

Chen, Jianhua

Publication type:

Article

Knowledge representation with multiple logical theories and time.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 1999, v. 11, n. 1, p. 47, doi. 10.1080/095281399146616

By:

Mancarella, Paolo;
Raffaeta, Alessandra;
Turini, Franco

Publication type:

Article

Building supply-chain resilience: an artificial intelligence-based technique and decision-making framework.

Published in:

International Journal of Production Research, 2022, v. 60, n. 14, p. 4487, doi. 10.1080/00207543.2021.1950935

By:

Belhadi, Amine;
Kamble, Sachin;
Fosso Wamba, Samuel;
Queiroz, Maciel M.

Publication type:

Article

Solving comprehensive dynamic job shop scheduling problem by using a GRASP-based approach.

Published in:

International Journal of Production Research, 2017, v. 55, n. 11, p. 3308, doi. 10.1080/00207543.2017.1306134

By:

Baykasoğlu, Adil;
Karaslan, Fatma S.

Publication type:

Article

Using Screencasts to Enhance Coding Skills: the case of Logic Programming?

Published in:

Computer Science & Information Systems, 2018, v. 15, n. 3, p. 775, doi. 10.2298/CSIS180312028K

By:

Kefalas, Petros;
Stamatopoulou, Ioanna

Publication type:

Article

A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines.

Published in:

Computer Science & Information Systems, 2014, v. 11, n. 4, p. 1435, doi. 10.2298/CSIS131025050S

By:

Santos, Joao;
Rocha, Ricardo

Publication type:

Article

Batched Evaluation of Linear Tabled Logic Programs.

Published in:

Computer Science & Information Systems, 2013, v. 10, n. 4, p. 1775, doi. 10.2298/CSIS121129066A

By:

Areias, Miguel;
Rocha, Ricardo

Publication type:

Article

Application of a real-world university-course timetabling model solved by integer programming.

Published in:

OR Spectrum, 2007, v. 29, n. 4, p. 783, doi. 10.1007/s00291-006-0074-z

By:

Schimmelpfeng, Katja;
Helber, Stefan

Publication type:

Article

Hybridised Intelligent Dynamic Model of 3-Satisfiability Fuzzy Logic Hopfield Neural Network.

Published in:

Pertanika Journal of Science & Technology, 2023, v. 31, n. 4, p. 1695, doi. 10.47836/pjst.31.4.06

By:

Azizan, Farah Liyana;
Sathasivam, Saratha;
Ali, Majid Khan Majahar

Publication type:

Article

Logic Learning in Adaline Neural Network.

Published in:

Pertanika Journal of Science & Technology, 2021, v. 29, n. 1, p. 285, doi. 10.47836/pjst.29.1.16

By:

Norani, Nadia Athirah;
Kasihmuddin, Mohd Shareduwan Mohd;
Mansor, Mohd. Asyraf;
Khurizan, Noor Saifurina Nana

Publication type:

Article

Metaheuristics Approach for Maximum k Satisfiability in Restricted Neural Symbolic Integration.

Published in:

Pertanika Journal of Science & Technology, 2020, v. 28, n. 2, p. 545

By:

Sathasivam, Saratha;
Mamat, Mustafa;
Mohd Kasihmuddin, Mohd Shareduwan;
Mansor, Mohd. Asyraf

Publication type:

Article

Artificial Immune System Paradigm in the Hopfield Network for 3-Satisfiability Problem.

Published in:

Pertanika Journal of Science & Technology, 2017, v. 25, n. 4, p. 1173

By:

Mansor, M. A.;
Kasihmuddin, M. S. M.;
Sathasivam, S.

Publication type:

Article

Robust Artificial Bee Colony in the Hopfield Network for 2-Satisfiability Problem.

Published in:

Pertanika Journal of Science & Technology, 2017, v. 25, n. 2, p. 453

By:

Mohd. Shareduwan Mohd. Kasihmuddin;
Mansor, Mohd. Asyraf;
Sathasivam, Saratha

Publication type:

Article

USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition.

Published in:

International Journal of Web Services Research, 2009, v. 6, n. 1, p. 20, doi. 10.4018/jwsr.2009010102

By:

Kona, Srividya;
Bansal, Ajay;
Simon, Luke;
Mallya, Ajay;
Gupta, Gopal;
Hite, Thomas D.

Publication type:

Article

HAIRY VALUE.

Published in:

Dimensions (10746536), 2015, v. 28, p. 182

By:

LOTFI-JAM, FARZIN

Publication type:

Article

RT+T--Time Validity Constraints in RTTLanguage.

Published in:

Journal of Telecommunications & Information Technology, 2012, v. 2012, n. 2, p. 74, doi. 10.26636/jtit.2012.2.1267

By:

Felkner, Anna;
Kozakiewicz, Adam

Publication type:

Article

Modelling and Searching of Combinatorial Spaces Based on Markov Logic Networks.

Published in:

Journal of Algorithms & Computational Technology, 2011, v. 5, n. 2, p. 289, doi. 10.1260/1748-3018.5.2.289

By:

Biba, Marenglen;
Ferilli, Stefano;
Esposito, Floriana

Publication type:

Article

Extremismusprävention im Spannungsfeld von Sicherheit und Safeguarding Eine Diskussion des britischen Prevent-Programms.

Published in:

Kriminologisches Journal, 2021, v. 53, n. 4, p. 275, doi. 10.3262/kj2104275

By:

Hohnstein, Sally;
Figlestahler, Carmen

Publication type:

Article

On decidability of the decomposability problem for finite theories.

Published in:

Siberian Mathematical Journal, 2010, v. 51, n. 4, p. 667, doi. 10.1007/s11202-010-0068-6

By:

Morozov, A. S.;
Ponomaryov, D. K.

Publication type:

Article

IoT Board Education Design and Analysis for Elementary School Students.

Published in:

KnE Social Sciences, 2024, p. 226, doi. 10.18502/kss.v9i10.15729

By:

Ariyanto, Rudy;
Rohadi, Erfan;
Fahrur, Imam;
Rozi;
Al Hadid Firdaus, Vipkas;
Noprianto;
Wakhidah, Rokhimatul;
Arianto, Rakhmat;
Kirana, Annisa Puspa;
Nurhasan, Usman;
Prastiyo, Sugeng

Publication type:

Article

Towards Related Background Knowledge Acquisition via Counterfactual.

Published in:

Journal of Computer Engineering & Applications, 2024, v. 60, n. 20, p. 168, doi. 10.3778/j.issn.1002-8331.2405-0434

By:

WANG Xuemin;
BAO Xuguang;
CHANG Liang;
HAO Yuanjing

Publication type:

Article