Works matching DE "LOGIC programming"
1
- Theory & Practice of Logic Programming, 2025, v. 25, n. 3, p. 281, doi. 10.1017/S1471068425000067
- CALIMERI, FRANCESCO;
- IANNI, GIOVAMBATTISTA;
- PACENZA, FRANCESCO;
- PERRI, SIMONA;
- ZANGARI, JESSICA
- Article
2
- 2025
- ZHAO, DAVID;
- SUBOTIĆ, PAVLE;
- RAGHOTHAMAN, MUKUND;
- SCHOLZ, BERNHARD
- Conference Paper/Materials
3
- Theory & Practice of Logic Programming, 2025, v. 25, n. 2, p. 1, doi. 10.1017/S1471068425000079
- Article
4
- Journal of Henan Agricultural Sciences, 2021, v. 50, n. 6, p. 156, doi. 10.15933/j.cnki.1004-3268.2021.06.019
- Article
5
- Journal of Ultra Scientist of Physical Sciences - Section A (Mathematics), 2023, v. 35, n. 2, p. 12, doi. 10.22147/jusps-A/350201
- PANDEY, AKASH;
- GUPTA, UMESH KUMAR
- Article
6
- BJPsych Bulletin, 2024, v. 48, n. 5, p. 285, doi. 10.1192/bjb.2024.22
- Crook, Rebecca;
- Lennox, Charlotte;
- Awenat, Yvonne;
- Edge, Dawn;
- Knowles, Sarah;
- Honeywell, David;
- Gooding, Patricia;
- Haddock, Gillian;
- Brooks, Helen;
- Pratt, Daniel
- Article
7
- Mathematics (2227-7390), 2022, v. 10, n. 17, p. 3105, doi. 10.3390/math10173105
- Article
8
- Mathematics (2227-7390), 2021, v. 9, n. 11, p. 1255, doi. 10.3390/math9111255
- Hapl, Lukas;
- Habiballa, Hashim
- Article
9
- Mathematics (2227-7390), 2020, v. 8, n. 6, p. 881, doi. 10.3390/math8060881
- Cornejo, M. Eugenia;
- Lobo, David;
- Medina, Jesús
- Article
10
- Electronics (2079-9292), 2025, v. 14, n. 8, p. 1523, doi. 10.3390/electronics14081523
- Article
11
- Electronics (2079-9292), 2024, v. 13, n. 23, p. 4732, doi. 10.3390/electronics13234732
- Li, Jiahao;
- Li, Shengqin;
- Wang, Juncheng
- Article
12
- Science & Public Policy (SPP), 2021, v. 48, n. 3, p. 352, doi. 10.1093/scipol/scab003
- Salomaa, Maria;
- Charles, David
- Article
13
- Archives of Control Sciences, 2009, v. 19, n. 2, p. 127
- Article
14
- Journal of Software: Evolution & Process, 2025, v. 37, n. 2, p. 1, doi. 10.1002/smr.70004
- Domínguez, Eladio;
- Pérez, Beatriz;
- Rubio, Ángel L.;
- Zapata, María A.
- Article
15
- Digital Creativity, 2003, v. 14, n. 1, p. 23, doi. 10.1076/digc.14.1.23.8808
- Article
16
- Revista Educación en Ingeniería, 2022, v. 18, n. 35, p. 1, doi. 10.26507/rei.v18n35.1240
- Trejos Buriticá, Omar Iván;
- Muñoz Guerrero, Luis Eduardo
- Article
17
- Review of Symbolic Logic, 2015, v. 8, n. 3, p. b1, doi. 10.1017/S1755020315000283
- Article
19
- Review of Symbolic Logic, 2014, v. 7, n. 3, p. b1, doi. 10.1017/S1755020314000264
- Article
20
- Review of Symbolic Logic, 2013, v. 6, n. 4, p. b1, doi. 10.1017/S175502031300035X
- Article
21
- International Journal of Foundations of Computer Science, 2004, v. 15, n. 2, p. 417, doi. 10.1142/S0129054104002509
- Gergatsoulis, Manolis;
- Nomikos, Christos
- Article
22
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 3, p. 341, doi. 10.1142/S0129054102001151
- Henriksen, Jesper Gulmann
- Article
23
- International Journal of Foundations of Computer Science, 2002, v. 13, n. 3, p. 387, doi. 10.1142/S0129054102001175
- Roychoudhury, Abhik;
- Kumar, K. Narayan;
- Ramakrishnan, C. R.;
- Ramakrishnan, I. V.
- Article
24
- International Journal of Foundations of Computer Science, 2000, v. 11, n. 4, p. 591, doi. 10.1142/S0129054100000351
- Meyden, Ron van der;
- Parikh, Rohit
- Article
25
- Quality & Quantity, 2017, v. 51, n. 5, p. 2101, doi. 10.1007/s11135-016-0453-8
- Kachroo, Pushkin;
- Krishen, Anjala;
- Agarwal, Shaurya
- Article
26
- Webology, 2022, v. 19, n. 6, p. 184
- Suarez Castrillón, Albert Miyer;
- Suarez Castrillon, Sir-Alexci;
- Guerrero Barbosa, Thomas Edison
- Article
27
- Software & Systems Modeling, 2009, v. 8, n. 2, p. 205, doi. 10.1007/s10270-007-0076-6
- Hassine, Jameleddine;
- Rilling, Juergen;
- Dssouli, Rachida
- Article
28
- Angewandte Chemie, 2021, v. 133, n. 20, p. 11499, doi. 10.1002/ange.202017003
- Fan, Xinlong;
- Walther, Andreas
- Article
29
- Artificial Intelligence & Law, 2024, v. 32, n. 4, p. 1141, doi. 10.1007/s10506-023-09376-5
- Arias, Joaquín;
- Moreno-Rebato, Mar;
- Rodriguez-García, Jose A.;
- Ossowski, Sascha
- Article
30
- Artificial Intelligence & Law, 2022, v. 30, n. 2, p. 163, doi. 10.1007/s10506-021-09295-3
- Kowalski, Robert;
- Datoo, Akber
- Article
31
- Artificial Intelligence & Law, 2021, v. 29, n. 4, p. 541, doi. 10.1007/s10506-021-09283-7
- Fungwacharakorn, Wachara;
- Tsushima, Kanae;
- Satoh, Ken
- Article
32
- Artificial Intelligence & Law, 2013, v. 21, n. 4, p. 371, doi. 10.1007/s10506-013-9143-1
- Balke, Tina;
- De Vos, Marina;
- Padget, Julian
- Article
33
- Artificial Intelligence & Law, 2011, v. 19, n. 2/3, p. 233, doi. 10.1007/s10506-011-9112-5
- Dung, Phan;
- Sartor, Giovanni
- Article
34
- Artificial Intelligence & Law, 2010, v. 18, n. 1, p. 1, doi. 10.1007/s10506-010-9089-5
- Ruggieri, Salvatore;
- Pedreschi, Dino;
- Turini, Franco
- Article
35
- International Journal of Advanced Manufacturing Technology, 2008, v. 39, n. 1/2, p. 199, doi. 10.1007/s00170-007-1198-2
- Oh, Seog-Chan;
- Yee, Shang-Tae
- Article
36
- Bioinformatics, 2022, v. 38, n. 12, p. 3245, doi. 10.1093/bioinformatics/btac312
- Daele, Dries Van;
- Weytjens, Bram;
- Raedt, Luc De;
- Marchal, Kathleen
- Article
37
- Safety & Fire Technology (2657-8808), 2024, v. 63, n. 1, p. 6, doi. 10.12845/sft.63.1.2024.1
- Article
38
- Advanced Logistic Systems: Theory & Practice, 2024, v. 18, n. 1, p. 107, doi. 10.32971/als.2024.011
- MOLNAR, ZSOLT;
- TAMÁS, PÉTER;
- ILLÉS, BÉLA
- Article
39
- Dilemas Contemporáneos: Educación, Política y Valores, 2024, v. 12, p. 1
- Jaimez-González, Carlos Roberto;
- García-Mendoza, Betzabet;
- Erazo-Palacios, Javier
- Article
40
- Dilemas Contemporáneos: Educación, Política y Valores, 2019, v. 7, p. 1
- Article
41
- Issues in Information Systems, 2022, v. 23, n. 3, p. 100, doi. 10.48009/3_iis_2022_109
- Ling Jiang;
- Wagner, Christian
- Article
42
- Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 2, p. 405, doi. 10.3969/j.issn.1001-3695.2014.02.020
- Article
43
- Entre Ciencia e Ingeniería, 2019, v. 13, n. 25, p. 45, doi. 10.31908/19098367.4013
- Article
44
- Computer Science Education, 2004, v. 14, n. 1, p. 37, doi. 10.1076/csed.14.1.37.23500
- Article
45
- International Journal of Intelligent Systems, 2017, v. 32, n. 8, p. 778, doi. 10.1002/int.21889
- Cornejo, M. Eugenia;
- Díaz‐Moreno, J. Carlos;
- Medina, Jesús
- Article
46
- Mobile Networks & Applications, 2018, v. 23, n. 4, p. 1123, doi. 10.1007/s11036-018-1071-6
- Neves, José;
- Vicente, Henrique;
- Esteves, Marisa;
- Ferraz, Filipa;
- Abelha, António;
- Machado, José;
- Machado, Joana;
- Neves, João;
- Ribeiro, Jorge;
- Sampaio, Lúzia
- Article
47
- Expert Systems, 2006, v. 23, n. 5, p. 342, doi. 10.1111/j.1468-0394.2006.00415.x
- Article
48
- Nature Communications, 2022, v. 13, n. 1, p. 1, doi. 10.1038/s41467-022-29795-3
- Yu, Tongguang;
- Xu, Yixin;
- Deng, Shan;
- Zhao, Zijian;
- Jao, Nicolas;
- Kim, You Sung;
- Duenkel, Stefan;
- Beyer, Sven;
- Ni, Kai;
- George, Sumitha;
- Narayanan, Vijaykrishnan
- Article
49
- Journal of Information Assurance & Security, 2011, v. 6, n. 6, p. 483
- Bryant, Adam R.;
- Mills, Robert F.;
- Peterson, Gilbert L.;
- Grimaila, Michael R.
- Article
50
- International Journal of Digital Multimedia Broadcasting, 2010, p. 1, doi. 10.1155/2010/153160
- Manson, Gaël;
- Berrani, Sid-Ahmed
- Article