المؤلفون: Spector, Benjamin

المساهمون: Institut Jean-Nicod (IJN), Département d'Etudes Cognitives - ENS-PSL (DEC), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Collège de France (CdF (institution))-Centre National de la Recherche Scientifique (CNRS)-Département de Philosophie - ENS-PSL, Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), ANR-17-EURE-0017,FrontCog,Frontières en cognition(2017), European Project: 788077,Orisem

المصدر: https://hal.science/hal-04875735 ; 2025.

مصطلحات موضوعية: Anaphora Presupposition Dynamic Semantics Trivalent Logic, Anaphora, Presupposition, Dynamic Semantics, Trivalent Logic, [SHS.LANGUE]Humanities and Social Sciences/Linguistics

Relation: info:eu-repo/grantAgreement//788077/EU/ERC H2020/Orisem

الاتاحة: https://hal.science/hal-04875735
https://hal.science/hal-04875735v1/document
https://hal.science/hal-04875735v1/file/spector_24_TrivalenceTransparency.pdf

المؤلفون: Kmiecik, Zbigniew Romuald

المصدر: Administrative Law Review; Vol 7 (2024): pod redakcją naukową dr. Grzegorza Lubeńczuka; 107-127 ; Przegląd Prawa Administracyjnego; Vol 7 (2024): pod redakcją naukową dr. Grzegorza Lubeńczuka; 107-127 ; 2657-8832 ; 2545-2525

مصطلحات موضوعية: concept, name, language, semantics of logic, pojęcie, nazwa, język, semantyka logiczna

وصف الملف: application/pdf

Relation: https://journals.umcs.pl/ppa/article/view/17610/pdf; https://journals.umcs.pl/ppa/article/downloadSuppFile/17610/10524; https://journals.umcs.pl/ppa/article/view/17610

الاتاحة: https://journals.umcs.pl/ppa/article/view/17610
https://doi.org/10.17951/ppa.2024.7.107-127

المؤلفون: Dragonová, Ivana

المساهمون: Sedlár, Igor, Punčochář, Vít

مصطلحات موضوعية: Epistemic logic|hyperintensions|logical semantics|modal logic, Epistemická logika|hyperintenze|logická sémantika|modální logika

وصف الملف: application/pdf

Relation: http://hdl.handle.net/20.500.11956/183202; 254335

الاتاحة: https://hdl.handle.net/20.500.11956/183202

المؤلفون: Teodor Przymusiński

المصدر: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki, Vol 8, Iss 11, Pp 41-53 (2014)

مصطلحات موضوعية: non-monotonic reasoning, semantics of logic programs, disjunctive logic programs, deductive databases, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://zeszyty-naukowe.wwsi.edu.pl/zeszyty/zeszyt11/A_Knowledge_Representation_Framework.pdf; https://doaj.org/toc/1896-396X; https://doaj.org/toc/2082-8349

URL الوصول: https://doaj.org/article/0e9140d37f1044d1b69f67de86656d26

مصطلحات موضوعية: impossible worlds, гиперинтенсиональность, semantics and logic of beliefs, невозможные миры, семантика и логика убеждений, hyperintensionality

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::047e7a831fa959a4d70f3b06a64c8c1c

المؤلفون: Corina Strößner

المصدر: Logica Universalis. 14:69-102

مصطلحات موضوعية: Logic, Applied Mathematics, Philosophy, 010102 general mathematics, Assertoric, Syllogism, Square of opposition, 06 humanities and the arts, 0603 philosophy, ethics and religion, 01 natural sciences, Existentialism, Epistemology, Universal quantification, Semantics of logic, 060302 philosophy, 0101 mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ee70a9b94fcf7800ee8e7f68400ac4fa
https://doi.org/10.1007/s11787-020-00245-2

المؤلفون: Abeer Saeed Abdo Hadad, Adeeb Abdulwakeel Obadi Ahmed, Chunyan Ma

المصدر: IEEE Access, Vol 8, Pp 72814-72834 (2020)

مصطلحات موضوعية: AADL, General Computer Science, Computer science, Model transformation, Formal semantics (linguistics), Liveness, computer.software_genre, General Materials Science, Aerospace, Formal verification, proof obligation, computer.programming_language, business.industry, Programming language, General Engineering, Avionics, invariant, Control system, Semantics of logic, behavior annex, Event-B, lcsh:Electrical engineering. Electronics. Nuclear engineering, business, computer, lcsh:TK1-9971

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6fc0edef897330b70754b63e00112d9
https://ieeexplore.ieee.org/document/9066834/

المؤلفون: VASUKOV V.L.

مصطلحات موضوعية: SITUATIONAL SEMANTICS,RELEVANT LOGIC,DIALOGUE GAMES,SITUATIONAL GAMES

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/game-theoretical-semantic-for-relevant-logic
http://cyberleninka.ru/article_covers/16896623.png

المؤلفون: Marmo

المساهمون: Marmo

مصطلحات موضوعية: Anonymus Basileensis, Commentaries on Porphyry's Isagoge, Medieval semantics, Medieval logic, ComputingMethodologies_DOCUMENTANDTEXTPROCESSING

وصف الملف: ELETTRONICO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______4094::ec6d1c6b27c151eb65dc73b3edbd1ab1
http://hdl.handle.net/11585/863765

المؤلفون: Rochelle Lieber

المصدر: Complex Words ISBN: 9781108780643

مصطلحات موضوعية: Computer science, Semantics of logic, Conceptual semantics, Polysemy, Linguistics, Nominalization

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::524529511566c941e1ce3f3fbfccdb7a
https://doi.org/10.1017/9781108780643.002

المؤلفون: Mark Jago, Kit Fine

المصدر: The Review of Symbolic Logic. 12:536-556

مصطلحات موضوعية: Soundness, Non-classical logic, Exact entailment, Logic, Computer science, 010102 general mathematics, Sequent calculus, 06 humanities and the arts, Truthmaker, 0603 philosophy, ethics and religion, 01 natural sciences, Logical consequence, Semantics, Decidability, Philosophy, Mathematics (miscellaneous), Semantics of logic, 060302 philosophy, Calculus, Truthmaking, 0101 mathematics, Mereology

وصف الملف: application/pdf; PDF

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5889a0511d553914cb265e9842e260f
https://doi.org/10.1017/s1755020318000151

المؤلفون: K. Selçuk Candan, Francesco Di Mauro, Mao-Lin Li, Maria Luisa Sapino

المصدر: ICDE

مصطلحات موضوعية: Information privacy, Computer science, Scalar (mathematics), Principal component analysis, 010103 numerical & computational mathematics, 02 engineering and technology, computer.software_genre, 01 natural sciences, Interval valued, Matrix decomposition, 010104 statistics & probability, Factorization, 020204 information systems, Singular value decomposition, 0202 electrical engineering, electronic engineering, information engineering, Matrix analysis, 0101 mathematics, Cluster analysis, Matrix decomposition, Semantics, Probabilistic logic, Principal component analysis, Singular value decomposition, Probabilistic logic, Data collection, Automatic summarization, Computer Science Applications, Semantics, Computational Theory and Mathematics, Anomaly detection, Data mining, computer, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::114de774047dc52c9e9266b3086d66ce
https://doi.org/10.1109/icde48307.2020.00240

المؤلفون: Mario Günther, Holger Andreas

المصدر: Erkenntnis. 84:1229-1262

مصطلحات موضوعية: Counterfactual conditional, Logic, 05 social sciences, 06 humanities and the arts, 050905 science studies, 0603 philosophy, ethics and religion, Logical theory, Philosophy, Semantics of logic, 060302 philosophy, 0509 other social sciences, Mathematical economics, Ramsey RESET test, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::269efdef716bc496f091057e087b6f31
https://doi.org/10.1007/s10670-018-0006-8

المؤلفون: Ryan M. Nefdt

المصدر: Review of Philosophy and Psychology. 10:243-256

مصطلحات موضوعية: Philosophy of mind, Philosophy of science, 05 social sciences, Experimental and Cognitive Psychology, 06 humanities and the arts, Philosophy of psychology, 0603 philosophy, ethics and religion, 050105 experimental psychology, Epistemology, Philosophy, Semantics of logic, 060302 philosophy, Natural language semantics, 0501 psychology and cognitive sciences, Psychology

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::22896f3aa6e067ee6250c175a3d14f77
https://doi.org/10.1007/s13164-018-0396-1

المؤلفون: Carlo Bernaschina, Piero Fraternali, Sara Comai

المصدر: Journal of Systems and Software. 137:239-260

مصطلحات موضوعية: Computer science, Modeling language, Rich-client applications, Formal semantics (linguistics), 02 engineering and technology, Flow modeling, Model-driven development, Semantics, computer.software_genre, Mobile applications, Translational semantics, Software, Chart, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, computer.programming_language, Model driven development, Programming language, business.industry, 020207 software engineering, Semantic mapping, Hardware and Architecture, Semantics of logic, Model-driven architecture, business, computer, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d239b5f08b61a3df028c20c18f7bc36c
https://doi.org/10.1016/j.jss.2017.11.067

المؤلفون: GABBAY, Dov M., Szalas, A.

المصدر: Studia Logica (2009)

مصطلحات موضوعية: argumentation theory, labeled graphs, semantics of logic programs, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: urn:issn:0039-3215; urn:issn:1572-8730; https://orbilu.uni.lu/handle/10993/15878; info:hdl:10993/15878

الاتاحة: https://orbilu.uni.lu/handle/10993/15878
https://orbilu.uni.lu/bitstream/10993/15878/1/art%253A10.1007%252Fs11225-009-9220-3.pdf
https://doi.org/10.1007/s11225-009-9220-3

المؤلفون: Francesco Tiezzi, Flavio Corradini, Barbara Re, Lorenzo Rossi, Chiara Muzi

المصدر: Information Systems. 103:101459

مصطلحات موضوعية: Atomicity, business.industry, Computer science, media_common.quotation_subject, Concurrency, Formal semantics (linguistics), 02 engineering and technology, Semantics, Business Process Model and Notation, Debugging, Hardware and Architecture, 020204 information systems, Semantics of logic, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business, Software, Information Systems, Abstraction (linguistics), media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe700eda2fbfe9810b79744f1bbc582f
https://doi.org/10.1016/j.is.2019.101459

المؤلفون: Elisa Marengo, Matthias Perktold, Werner Nutt

المصدر: Information Systems. 103:101457

مصطلحات موضوعية: Theoretical computer science, Computer science, Process (engineering), Formal semantics (linguistics), Context (language use), 02 engineering and technology, Abstract process, Domain (software engineering), Control flow, Hardware and Architecture, Application domain, 020204 information systems, Semantics of logic, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4abceabccf9c665963c90e99c6c34d4a
https://doi.org/10.1016/j.is.2019.101457

المؤلفون: Dathi, Naiem

مصطلحات موضوعية: 621.3822, Computer semantics][Computational logic

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236097

المؤلفون: Bogdan Dicher

المصدر: Theoria. 83:394-418

مصطلحات موضوعية: Generality, Computer science, Programming language, 010102 general mathematics, 06 humanities and the arts, 0603 philosophy, ethics and religion, computer.software_genre, 01 natural sciences, Operational semantics, Philosophy, Well-founded semantics, Semantics of logic, 060302 philosophy, Proof-theoretic semantics, 0101 mathematics, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c1de99d7199663cefa583fd640edce75
https://doi.org/10.1111/theo.12131