Contributors: #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: Water pollution, Spatial modeling, PhosFate model, Sediment transport, Watershed management, Fuzzy logic
Relation: Journal of Environmental Management; AUWR-2015-231 931/24-StU; http://hdl.handle.net/20.500.12708/19390; 114514
Authors: Eiter, Thomas, Kaminski, Tobias Dietmar
Contributors: Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan, #PLACEHOLDER_PARENT_METADATA_VALUE#
Relation: #PLACEHOLDER_PARENT_METADATA_VALUE#; P 27730-N23; W 1255-N23; http://hdl.handle.net/20.500.12708/16727; http://dx.doi.org/10.34726/721
Authors: Baldi, Paolo, Terui, Kazushige
Contributors: #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: substructural logic, fuzzy logic, Gentzen systems, residuated frames, residuated lattices, standard completeness
Relation: Algebra universalis; START Y544-N23; GAP202/10/1826; KAKENHI 25330013; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-1541; http://hdl.handle.net/20.500.12708/1044; AC11360021; urn:nbn:at:at-ubtuw:3-1541
Availability:
https://doi.org/20.500.12708/1044
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-1541
https://hdl.handle.net/20.500.12708/1044
Authors: Corsi, Esther Anna, Fermüller, Christian G.
Contributors: #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: t-norm-based logics, Abstract argumentation, Weighted argumentation frames, Semantics of fuzzy logics
Relation: Soft Computing; 689176; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-6563; http://hdl.handle.net/20.500.12708/270; AC15501176; urn:nbn:at:at-ubtuw:3-6563
Availability:
https://doi.org/20.500.12708/270
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-6563
https://hdl.handle.net/20.500.12708/270
Contributors: TU Wien, Österreich, Iowa State University, NASA Ames, USA
Subject Terms: Runtime monitoring, Metric temporal logic, Linear temporal logic, Bayesian networks, FPGA, Security, Unmanned aerial systems, GPS spoofing
Relation: Formal Methods in System Design; NNX12AK33A; NNX14AN61A; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-4107; http://hdl.handle.net/20.500.12708/36; AC15187483; urn:nbn:at:at-ubtuw:3-4107
Availability:
https://doi.org/20.500.12708/36
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-4107
https://hdl.handle.net/20.500.12708/36
Authors: Hofer, Matthias
Subject Terms: natural language semantics, vagueness, quantifiers, fuzzy logic
Relation: Lecture Notes in Computer Science; Modeling and Using Context - 9th International and Interdisciplinary Conference, {CONTEXT} 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings; Christiansen, Henning; Stojanovic, Isidora; Papadopoulos, George A.; I1897-N25; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3456; http://hdl.handle.net/20.500.12708/896; AC15058952; urn:nbn:at:at-ubtuw:3-3456
Availability:
https://doi.org/20.500.12708/896
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3456
https://hdl.handle.net/20.500.12708/896
Authors: Hofer, Matthias
Subject Terms: game semantics, fuzzy logic, rough sets, natural language processing, vagueness, proportional quantifiers, vague predicates, multi agents
Relation: Proceedings of the . International Workshop of Logic and Engineering of Natural Language Semantics; Proceedings of the Thirteenth International Workshop of Logic and Engineering of Natural Language Semantics 13 (LENLS 13); I1897-N25; W1255-N23; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3489; http://hdl.handle.net/20.500.12708/897; AC15058953; urn:nbn:at:at-ubtuw:3-3489
Availability:
https://doi.org/20.500.12708/897
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3489
https://hdl.handle.net/20.500.12708/897
Authors: Kiesl, Benedikt, Suda, Martin
Subject Terms: theorem proving, first-order logic, sat, preprocessing, clause elimination, resolution
Relation: Lecture Notes in Computer Science; Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings; de Moura, Leonardo; W1255-N23; S11403-N23; S11409-N23; CCF-1618574; SYMCAR 639270; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3321; http://hdl.handle.net/20.500.12708/879; AC11365110; urn:nbn:at:at-ubtuw:3-3321
Availability:
https://doi.org/20.500.12708/879
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3321
https://hdl.handle.net/20.500.12708/879
Authors: Kiesl, Benjamin, Suda, Martin, Seidl, Martina, Tompits, Hans, Biere, Armin
Subject Terms: first-order logic, automated reasoning, automated theorem proving, preprocessing, blocked clauses, clause elimination
Relation: EPiC Series in Computing; LPAR-21: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning; W1255-N23; S11403-N23; S11408-N23; S11409-N23; 639270; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3121; http://hdl.handle.net/20.500.12708/860; AC11363054; urn:nbn:at:at-ubtuw:3-3121
Availability:
https://doi.org/20.500.12708/860
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3121
https://hdl.handle.net/20.500.12708/860
Authors: Maier, Jürgen, Steininger, Andreas
Contributors: #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: Asynchronous Logic
Relation: Design and Diagnostics of Electronic Circuits and Systems (DDECS), IEEE; 17th International Symposium on Design and Diagnostics of Electronic Circuits Systems / Pleskacz, Witold; Renovell, Michel; Kasprowicz, Dominik; Sekanina, Lukáš; Bernard, Serge; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-9942; http://hdl.handle.net/20.500.12708/463; AC15661832; urn:nbn:at:at-ubtuw:3-9942
Availability:
https://doi.org/20.500.12708/463
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-9942
https://hdl.handle.net/20.500.12708/463
Authors: Kiesl, Benjamin, Seidl, Martina, Tompits, Hans, Biere, Armin
Contributors: #PLACEHOLDER_PARENT_METADATA_VALUE#, Albert–Ludwigs–University, Germany
Subject Terms: sat solving, preprocessing, propositional logic, blocked clauses, automated reasoning
Relation: Lecture Notes in Computer Science; Automated Reasoning. 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings; Olivetti, Nicola; W1255-N23; S11408-N23; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3044; http://hdl.handle.net/20.500.12708/356; AC11362487; urn:nbn:at:at-ubtuw:3-3044
Availability:
https://doi.org/20.500.12708/356
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3044
https://hdl.handle.net/20.500.12708/356
Authors: Hetzl, Stefan, Leitsch, Alexander, Weller, Daniel
Contributors: #PLACEHOLDER_PARENT_METADATA_VALUE#
Subject Terms: cut-elimination, resolution, higher-order logic
Relation: Annals of Pure and Applied Logic; http://hdl.handle.net/20.500.12708/17507; AC16465526
Authors: Aminof, Benjamin, Malvone, Vadim, Murano, Aniello, Rubin, Sasha
Subject Terms: Strategic logics, Graded modalities, Nash equilibria
Relation: Information and Computation; S11403-N23 (RiSE); ICT12-059; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3817; http://hdl.handle.net/20.500.12708/929; AC15150648; urn:nbn:at:at-ubtuw:3-3817
Availability:
https://doi.org/20.500.12708/929
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3817
https://hdl.handle.net/20.500.12708/929
Authors: Pascucci, Matteo
Subject Terms: Canonical models, Cohesiveness, Modal logic
Relation: Journal of Logic, Language and Information; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-8076; http://hdl.handle.net/20.500.12708/755; AC15536716; urn:nbn:at:at-ubtuw:3-8076
Availability:
https://doi.org/20.500.12708/755
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-8076
https://hdl.handle.net/20.500.12708/755
Authors: Svozil, Karl
Subject Terms: Quantum mechanics, Gleason theorem, Kochen–Specker theorem, Born rule, Partition logic, Grötschel–Lovász–Schrijver set
Relation: Soft Computing; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-8084; http://hdl.handle.net/20.500.12708/756; AC15536717; urn:nbn:at:at-ubtuw:3-8084
Availability:
https://doi.org/20.500.12708/756
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-8084
https://hdl.handle.net/20.500.12708/756
Authors: Paulweber, Philipp, Maier, Jürgen, Cortadella, Jordi
Contributors: Universität Wien, Österreich, #PLACEHOLDER_PARENT_METADATA_VALUE#, Universitat Politècnica de Catalunya, Spain
Subject Terms: Abstract State Machines, Asynchronous Logic
Relation: I3485-N31; https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-10213; http://hdl.handle.net/20.500.12708/484; AC15666412; urn:nbn:at:at-ubtuw:3-10213
Availability:
https://doi.org/20.500.12708/484
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-10213
https://hdl.handle.net/20.500.12708/484
Authors: Corsi, Esther Anna
Contributors: Fermüller, Christian, TU Wien, Österreich
Subject Terms: Abstract Argumentation Theory, Logical Argumentation Theory, Sequent-based Arguments, Fuzzy Logics, Sub-classical Logics, Argumentative Semantics, Weighted Argumentation Theory, Bipolar Argumentation Frameworks
File Description: 209 Seiten
Relation: https://doi.org/10.34726/hss.2022.99022; http://hdl.handle.net/20.500.12708/19583; AC16451082
Authors: Mahmoudi, Hiwa
Contributors: Sverdlov, Viktor, TU Wien, Österreich, Selberherr, Siegfried
Subject Terms: Memristor, Spintronik, Magnetischer Tunnelkontakt (MTJ), Zustandsbehaftete Logik, Memristive Messmethode, Spintronic, Magnetic tunnel junction (MTJ), Stateful Logic, Memristive sensing
File Description: XVI, 126 Bl.
Relation: https://doi.org/10.34726/hss.2014.24465; http://hdl.handle.net/20.500.12708/20332; AC11644559
Authors: Frenzel, Mihaela
Contributors: Freund, Rudolf, TU Wien, Österreich
Subject Terms: Health Serious Game, Diagnose Serious Game, Stroke, Prediction, Early Recognition Logic, Digital Stroke Diagnosis
File Description: 118 Seiten
Relation: https://doi.org/10.34726/hss.2022.47246; http://hdl.handle.net/20.500.12708/20135; AC16522146
Authors: Oetsch, Johannes
Contributors: Tompits, Hans, TU Wien, Österreich
Subject Terms: Logic Programming, Answer-Set Programming, Mutation Testing, Random Testing, Structural Testing, Unit Testing, Program Annotations, Combinatorial Interaction Testing, Event-Sequence Testing, Programming Support
File Description: 186 Seiten
Relation: https://doi.org/10.34726/hss.2022.102508; http://hdl.handle.net/20.500.12708/20100; AC16520469