Authors: Boigelot, Bernard, Fontaine, Pascal, Vergain, Baptiste
Superior Title: CEUR Workshop Proceedings, 3458, 25-36 (2023-08-19)
Subject Terms: Satisfiability, First-order logic, Unary uninterpreted predicates, Difference logic, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: urn:issn:1613-0073; https://orbi.uliege.be/handle/2268/308692; info:hdl:2268/308692; https://orbi.uliege.be/bitstream/2268/308692/1/2022_scsc_paper.pdf; scopus-id:2-s2.0-85171158102
Availability:
https://orbi.uliege.be/handle/2268/308692
https://orbi.uliege.be/bitstream/2268/308692/1/2022_scsc_paper.pdf
Authors: Rezapour, Hamed, Jamali, Sadegh, Bahmanyar, Alireza
Superior Title: Energies, 16 (12), 4636 (2023)
Subject Terms: artificial intelligence, fault location, power distribution networks, Data gathering systems, Fault localization, Fuzzy-Logic, Input datas, Localization method, Location method, Neural-networks, Power distribution network, Reinforcement learnings, Systematic Review, Renewable Energy, Sustainability and the Environment, Fuel Technology, Engineering (miscellaneous), Energy Engineering and Power Technology, Energy (miscellaneous), Control and Optimization, Electrical and Electronic Engineering, Building and Construction, Engineering, computing & technology, Electrical & electronics engineering, Ingénierie, informatique & technologie, Ingénierie électrique & électronique
Relation: https://www.mdpi.com/1996-1073/16/12/4636/pdf; urn:issn:1996-1073; https://orbi.uliege.be/handle/2268/314109; info:hdl:2268/314109; https://orbi.uliege.be/bitstream/2268/314109/1/energies-16-04636.pdf; scopus-id:2-s2.0-85164177998
Authors: Vergain, Baptiste, Fontaine, Pascal, Boigelot, Bernard
Superior Title: Lecture Notes in Computer Science, 14132, 542-559 (2023-09-01)
Subject Terms: First-order logic, Decidability, SMT, Arithmetic, Uninterpreted Predicates, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: urn:issn:0302-9743; urn:issn:1611-3349; https://orbi.uliege.be/handle/2268/308694; info:hdl:2268/308694; https://orbi.uliege.be/bitstream/2268/308694/1/final_version.pdf
Authors: De Herde, Véronique
Superior Title: Journal of Co-operative Organization and Management, 11 (1), 100198 (2023-06)
Subject Terms: Analytically structured history, Hybrids, Institutional logics, Polycentricity, Value chain coordination, Business and International Management, Strategy and Management, Business & economic sciences, Social economics, Sciences économiques & de gestion, Economie sociale
Relation: https://api.elsevier.com/content/article/PII:S2213297X23000010?httpAccept=text/xml; urn:issn:2213-297X; https://orbi.uliege.be/handle/2268/308577; info:hdl:2268/308577; https://orbi.uliege.be/bitstream/2268/308577/1/JCOM-2023-cooperative-models.pdf; scopus-id:2-s2.0-85147199256
Authors: Yahyaoui, Imene, Vidal de la Peña, Natalia
Superior Title: Sensors, 22 (1), 357 (2022-01-04)
Subject Terms: batteries state of charge, diesel generator, energy management, fuzzy logic, photovoltaic energy, wind energy, Computer Simulation, Electricity, Spain, Electric Power Supplies, Power Plants, Battery banks, Battery state of charge, Controllable loads, Diesel generators, Fuzzy-Logic, Hybrid power plants, Photovoltaic panels, Power sources, Stand -alone, Analytical Chemistry, Information Systems, Biochemistry, Atomic and Molecular Physics, and Optics, Instrumentation, Electrical and Electronic Engineering, Engineering, computing & technology, Electrical & electronics engineering
Relation: https://www.mdpi.com/1424-8220/22/1/357/pdf; urn:issn:1424-8220; urn:issn:1424-3210; https://orbi.uliege.be/handle/2268/300640; info:hdl:2268/300640; https://orbi.uliege.be/bitstream/2268/300640/1/sensors-22-00357.pdf; scopus-id:2-s2.0-85122080838; info:pmid:35009900
Superior Title: EPiC Series in Computing, 94, 369 - 385 (2023); Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Col [Col], 04-06-2023 => 09-06-2023
Subject Terms: TPTP, Automated reasoning, First order logic, Interpretation, Model finding, Computer Science (all), Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: urn:issn:2398-7340; https://orbi.uliege.be/handle/2268/309355; info:hdl:2268/309355; https://orbi.uliege.be/bitstream/2268/309355/1/ModelVerification.pdf; scopus-id:2-s2.0-85166472331
Authors: Boigelot, Bernard, Fontaine, Pascal, Vergain, Baptiste
Superior Title: urn:isbn:978-3-03-140247-0 ; urn:isbn:978-3-03-140246-3 ; Implementation and Application of Automata, 12 (2023-09); 27th International Conference on Implementation and Application of Automata (CIAA 2023), Famagusta, Cyprus [CY], September 19-22, 2023
Subject Terms: infinite-word automata, first-order logic, quantifier elimination, satisfiability, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://link.springer.com/content/pdf/10.1007/978-3-031-40247-0_6; https://orbi.uliege.be/handle/2268/306285; info:hdl:2268/306285; https://orbi.uliege.be/bitstream/2268/306285/1/BFV23.pdf; scopus-id:2-s2.0-85172077135
Authors: Vergain, Baptiste, Boigelot, Bernard, Fontaine, Pascal
Superior Title: CEUR Workshop Proceedings, 3273 (2022-11-14); 6th International Workshop on Satisfiability Checking and Symbolic Computation, August 19–20, 2021
Subject Terms: Satisfiability, First-order Logic, Unary uninterpreted predicates, Difference logic, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: urn:issn:1613-0073; https://orbi.uliege.be/handle/2268/296655; info:hdl:2268/296655; https://orbi.uliege.be/bitstream/2268/296655/1/publisher%20post%20print%20scsc2021.pdf; scopus-id:2-s2.0-85142897468
Availability:
https://orbi.uliege.be/handle/2268/296655
https://orbi.uliege.be/bitstream/2268/296655/1/publisher%20post%20print%20scsc2021.pdf
Authors: Charlier, Emilie, Cisternino, Célia, Stipulanti, Manon
Superior Title: European Journal of Combinatorics, 101, 103475 (2022-03)
Subject Terms: abstract numeration systems, regular sequences, automatic sequences, synchronized sequences, recognizable formal series, enumeration, first-order logic, weighted automata, synchronized relations, Physical, chemical, mathematical & earth Sciences, Mathematics, Physique, chimie, mathématiques & sciences de la terre, Mathématiques
Relation: urn:issn:0195-6698; urn:issn:1095-9971; https://orbi.uliege.be/handle/2268/253862; info:hdl:2268/253862; https://orbi.uliege.be/bitstream/2268/253862/1/Submission-CharlierCisterninoStipulanti.pdf; scopus-id:2-s2.0-85118545800
Authors: De Rudder, Laurent
Superior Title: Algebra|coalgebra seminar, Juin 2020
Subject Terms: Slanted algebra, Canonicity, LE Logic, Physical, chemical, mathematical & earth Sciences, Mathematics, Physique, chimie, mathématiques & sciences de la terre, Mathématiques
Relation: https://orbi.uliege.be/handle/2268/256273; info:hdl:2268/256273; https://orbi.uliege.be/bitstream/2268/256273/1/DeRudderILLCFinal.pdf
Availability:
https://orbi.uliege.be/handle/2268/256273
https://orbi.uliege.be/bitstream/2268/256273/1/DeRudderILLCFinal.pdf
Authors: Rouillé, Louis
Superior Title: Synthesis (1) (2021)
Subject Terms: fiction, indexicality, existence, modal logic, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: https://synthesisonlinenet.files.wordpress.com/2021/12/louis-rouille.pdf; urn:issn:2785-3942; https://orbi.uliege.be/handle/2268/309136; info:hdl:2268/309136; https://orbi.uliege.be/bitstream/2268/309136/1/_louis-rouille.pdf
Availability:
https://orbi.uliege.be/handle/2268/309136
https://orbi.uliege.be/bitstream/2268/309136/1/_louis-rouille.pdf
Authors: Rouillé, Louis
Superior Title: Organon F, 28 (1), 223 - 252 (2021)
Subject Terms: Anti-realism, Fiction, Fictional terms, Free logic, Metafic-tional statements, Reference, Philosophy, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: https://www.sav.sk/journals/uploads/03061356orgf.2021.28110.pdf; urn:issn:1335-0668; urn:issn:2585-7150; https://orbi.uliege.be/handle/2268/309134; info:hdl:2268/309134; https://orbi.uliege.be/bitstream/2268/309134/1/03061356orgf.2021.28110.pdf; scopus-id:2-s2.0-85103541247
Contributors: Nantes-Sobrinho, Daniele, Fontaine, Pascal
Subject Terms: Computer Science - Logic in Computer Science, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?LSFA2022; https://orbi.uliege.be/handle/2268/309370; info:hdl:2268/309370; arXiV:2303.12680v1
Authors: Leclercq, Bruno
Contributors: MéThéor - Métaphysique et Théorie de la Connaissance - ULiège BE, Traverses - ULiège BE
Superior Title: Logique, Vérité et Société, Kinshasa, Congo - Kinshasa [CD], 8-10 novembre 2023
Subject Terms: bivalence, logique standard, non-contradiction, tiers exclu, standard logic, excluded middle, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: https://orbi.uliege.be/handle/2268/308663; info:hdl:2268/308663
Availability: https://orbi.uliege.be/handle/2268/308663
Authors: Maroy, Christian, Dupuy, Claire, Brassard, André, Buisson-Fenet, Hélène, Mathou, Cécile, Pons, Xavier, Vaillancourt, Samuel, Voisin, Annelise
Superior Title: urn:isbn:978-3-03-001285-4 ; urn:isbn:978-3-03-001284-7 ; Educational Governance Research (2019)
Subject Terms: Convergence, Institutional isomorphism, Intermediate level, Local educational order, (logics of) mediation, Policy implementation, Education, Social & behavioral sciences, psychology, Sociology & social sciences, Sciences sociales & comportementales, psychologie, Sociologie & sciences sociales
Relation: http://link.springer.com/content/pdf/10.1007/978-3-030-01285-4_6; https://orbi.uliege.be/handle/2268/299171; info:hdl:2268/299171; https://orbi.uliege.be/bitstream/2268/299171/1/Mediations_Accountability%20policies%20in%20education-chapter6.pdf; scopus-id:2-s2.0-85101148941
Authors: Rouillé, Louis
Superior Title: Argumenta, 6 (1), 99 - 116 (2020-11)
Subject Terms: Fictional Disagreement, Learning from fiction, Philosophy of literature, Truth in fiction, Philosophy, Linguistics and Language, Logic, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: urn:issn:1676-2800; urn:issn:2317-3882; https://orbi.uliege.be/handle/2268/309133; info:hdl:2268/309133; https://orbi.uliege.be/bitstream/2268/309133/1/final_version_6-Argumenta-6-1-Louis-Rouille-From-Fictional-Disagreements-to-Thought-Experiments.pdf; scopus-id:2-s2.0-85165894386
Contributors: CEPE - Centre d'Études de la Performance des Entreprises - ULiège
Superior Title: British Food Journal (2020-03)
Subject Terms: Fuzzy logic, Triangular fuzzy numbers, TOPSIS, Fishery and aquaculture products, FAPs, Residents’ consuming and buying behavior, EU28, Business & economic sciences, Quantitative methods in economics & management, Sciences économiques & de gestion, Méthodes quantitatives en économie & gestion
Relation: info:eu-repo/grantAgreement/EC/H2020/766347; urn:issn:0007-070X; urn:issn:1758-4108; https://orbi.uliege.be/handle/2268/251135; info:hdl:2268/251135; https://orbi.uliege.be/bitstream/2268/251135/1/Cantillo%20et%20al%20%282020a%29.pdf; scopus-id:2-s2.0-85082587415
Contributors: CEPE - Centre d'Études de la Performance des Entreprises - ULiège
Superior Title: Applied Sciences, 11 (1), 112 (2020-12-24)
Subject Terms: fuzzy logic, triangular fuzzy numbers, FTOPSIS, fishery and aquaculture products (FAPs), ecolabels, Business & economic sciences, Quantitative methods in economics & management, Sciences économiques & de gestion, Méthodes quantitatives en économie & gestion
Relation: info:eu-repo/grantAgreement/EC/H2020/766347; urn:issn:2076-3417; https://orbi.uliege.be/handle/2268/254962; info:hdl:2268/254962; https://orbi.uliege.be/bitstream/2268/254962/1/applsci-11-00112-v2%20%281%29.pdf; scopus-id:2-s2.0-85098761463
Authors: Leclercq, Bruno
Contributors: MéThéor - Métaphysique et Théorie de la Connaissance - ULiège
Superior Title: Description et indexicalité. Outils logiques au service de la philosophie, Kinshasa, Congo - Kinshasa [CD], 17-18 février 2022
Subject Terms: fictional objects, meinongian logics, modal logics, objets fictifs, logiques meinongiennes, logiques modales, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: https://orbi.uliege.be/handle/2268/294640; info:hdl:2268/294640
Availability: https://orbi.uliege.be/handle/2268/294640
Authors: Leclercq, Bruno
Contributors: MéThéor - Métaphysique et Théorie de la Connaissance - ULiège BE, Traverses - ULiège BE
Superior Title: Philosophie, 159, 3-14 (2023)
Subject Terms: Charles Sanders Peirce, logique, mathématique, synthétique, analytique, schématisme, logic, mathematic, synthetic, analytic, schematism, Arts & humanities, Philosophy & ethics, Arts & sciences humaines, Philosophie & éthique
Relation: urn:issn:0294-1805; https://orbi.uliege.be/handle/2268/308610; info:hdl:2268/308610; scopus-id:2-s2.0-85182141529