Authors: Ahn, Ki Yung, Horne, Ross, Tiu, Alwen
Superior Title: Logical Methods in Computer Science
Subject Terms: bisimulation, modal logic, intuitionistic logic
File Description: application/pdf
Relation: http://hdl.handle.net/1885/288237; https://openresearch-repository.anu.edu.au/bitstream/1885/288237/3/1701.05324.pdf.jpg
Authors: Lyon, Tim, Tiu, Alwen, Gore, Rajeev, Clouston, Ranald
Contributors: Fernandez, M, Muscholl, A
Superior Title: Leibniz International Proceedings in Informatics, LIPIcs
Subject Terms: Bi-intuitionistic logic, Interpolation, Nested calculi, Proof theory, Sequents, Tense logics
Subject Geographic: Spain
Time: Barcelona, Spain
File Description: application/pdf
Relation: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020; http://hdl.handle.net/1885/313763; https://openresearch-repository.anu.edu.au/bitstream/1885/313763/3/LIPIcs.CSL.2020.28.pdf.jpg
Authors: Seifan, Fatemeh, Schröder, Lutz, Pattinson, Dirk
Contributors: Bonchi, Filippo, Knig, Barbara
Superior Title: 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Subject Terms: Coalgebraic modal logic, uniform interpolation, weak pullback
File Description: application/pdf
Relation: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017; Fatemeh Seifan, Lutz Schröder, and Dirk Pattinson. Uniform Interpolation in Coalgebraic Modal Logic. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 21:1-21:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017); http://hdl.handle.net/1885/313201; https://openresearch-repository.anu.edu.au/bitstream/1885/313201/3/LIPIcs.CALCO.2017.21.pdf.jpg
Authors: Chen, Tom, Drennan, Judy, Andrews, Lynda, Hollebeek, Linda D
Superior Title: European Journal of Marketing
Subject Terms: Service-dominant logic, Customer value co-creation, C2C interaction, Customer initiation, Experience sharing
File Description: application/pdf
Relation: http://hdl.handle.net/1885/258184; https://openresearch-repository.anu.edu.au/bitstream/1885/258184/3/01_Chen_User_experience_sharing%253A_2018.pdf.jpg
Authors: Basheer, S.M., Willis, Anthony, Sreekanth, Anandaram
Superior Title: Journal of Luminescence
Subject Terms: Logic GATE, PET, fluorescence, TD-DFT, Thiosemicarbazone
File Description: application/pdf
Relation: http://hdl.handle.net/1885/248248; https://openresearch-repository.anu.edu.au/bitstream/1885/248248/3/01_Basheer_Spectroscopic_and_TD-DFT_2017.pdf.jpg
Authors: Sylvan, Richard
Subject Terms: Logic, Relevance (Philosophy), Logic -- History, Symbolic and mathematical
File Description: 147, 2 p.; 26 cm; application/pdf
Relation: Research series in logic and metaphysics; no. 4; b17356775; 0646041312 (not printed on item); BC71.S95 1989; http://hdl.handle.net/1885/210010; https://openresearch-repository.anu.edu.au/bitstream/1885/210010/3/b17356775.pdf.jpg
Superior Title: Applied Soft Computing
Subject Terms: Requirement specification, Fuzzy logic, Public sector projects, Game theory
File Description: application/pdf
Relation: http://hdl.handle.net/1885/212337; https://openresearch-repository.anu.edu.au/bitstream/1885/212337/4/Letter_returned_Revised.pdf.jpg
Authors: Schroder, Lutz, Pattinson, Dirk
Superior Title: Leibniz International Proceedings in Informatics, LIPIcs ; http://arxiv.org/abs/0902.2072
Subject Terms: Keywords: Coalgebras, Coherence conditions, Deduction, Finite multiplicity, Logic in computer science, Modal logic, Semantic framework, Strong completeness, Computer science, Semantics, Formal logic Coalgebra
Subject Geographic: Freiburg Germany
Relation: 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009; http://hdl.handle.net/1885/84295
Availability: http://hdl.handle.net/1885/84295
Authors: Schroder, Lutz, Pattinson, Dirk, Kupke, Clemens
Superior Title: IJCAI International Joint Conference on Artificial Intelligence
Subject Terms: Keywords: Coalgebraic, Description logic, Hybrid logic, Modal operators, Number restrictions, Relational structures, Satisfiability, Upper Bound, Artificial intelligence, Data description, Semantics, Probabilistic logics
Subject Geographic: Hainan Island
Relation: 21st IITA International Joint Conference on Artificial Intelligence, JCAI 2009; http://hdl.handle.net/1885/84201
Availability: http://hdl.handle.net/1885/84201
Authors: Pattinson, Dirk, Schroder, Lutz
Contributors: Conference Program Committee
Superior Title: Proceedings of International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2009)
Subject Terms: Keywords: Cut elimination, Excluded-middle, Modal logic, Modus Ponens, Rule systems, Sequent calculus, Biomineralization, Differentiation (calculus), Formal logic, Pathology, Problem solving, Automata theory
Subject Geographic: Oslo Norway
Relation: International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2009); http://hdl.handle.net/1885/84125
Authors: Vo, Trung D., Pant, Ravi, Pelusi, Mark, Schroder, Jochen, Choi, Duk-Yong, Debbarma, Sukhanta, Madden, Steve, Luther-Davies, Barry, Eggleton, Benjamin J
Superior Title: 35th Australian Conference on Optical Fibre Technology, ACOFT 2010
Subject Terms: Keywords: 160Gbit/s, 40-Gbit/s, All-optical logic gates, All-optical XOR gate, DPSK signals, Optical signals, Photonic chips, Power penalty, XOR operation, Nonlinear optics, Optical fibers, Optical signal processing, Phase change memory, Logic gates Nonlinear optics
Relation: 35th Australian Conference on Optical Fibre Technology, ACOFT 2010; http://hdl.handle.net/1885/83895
Availability: http://hdl.handle.net/1885/83895
Authors: Kupke, Clemens, Pattinson, Dirk
Superior Title: Advances in Modal Logic 2006
Subject Terms: Keywords: Coalgebraic semantics, Linear inequalities, Modal logic, Numerical constraints, Polynomial space, Satisfiability problems, Sequent calculus, Computability and decidability, Differentiation (calculus), Semantics, Probabilistic logics Graded modal logic, Probabilistic modal logic
Subject Geographic: Moscow
Relation: 8th International Conference on Advances in Modal Logic, AiML-2010; http://hdl.handle.net/1885/83854
Availability: http://hdl.handle.net/1885/83854
Authors: Schroder, Lutz, Pattinson, Dirk
Superior Title: Leibniz International Proceedings in Informatics, LIPIcs
Subject Terms: Keywords: Canonical models, Coalgebraic semantics, Coalgebras, Deduction, Hybrid languages, Logic in computer science, Modal logic, Reasoning principles, Formal logic, Semantics, Computer science Coalgebra
Subject Geographic: Nancy
Relation: 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010; http://hdl.handle.net/1885/83823
Authors: Schroder, Lutz, Pattinson, Dirk
Superior Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Subject Terms: Keywords: Arbitrary structures, Bisimulations, Coalgebraic, Coalgebraic logic, Finite structures, First order logic, First-order, Modal logic, Transition structures, Formal logic, Computer software
Subject Geographic: Paphos
Relation: 13th International Conference on the Foundations of Software Science and Computational Structures, FoSSaCS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010; http://hdl.handle.net/1885/83604
Authors: Lloyd, John, Sears, Timothy
Contributors: Matteo Baldoni, Elle Endriss, Andrea Omicini, Paolo Torroni
Superior Title: Declarative Agent Languages and Technologies, Third International Workshop, DALT 2005
Subject Terms: Keywords: Agent architecture, Higher-order logic, On-line learning, Rational agents, Algorithms, Computer architecture, Data acquisition, Formal logic, Intelligent agents
Subject Geographic: Utrecht The Netherlands
Relation: International Declarative Agent Languages and Technologies Workshop (DALT 2005); http://hdl.handle.net/1885/83351
Authors: Beckert, Bernhard, Trentleman, Kerry
Contributors: J.G. Carbonell, J. Siekmann
Subject Terms: Keywords: First-order dynamic logic, First-order logic (FOL), Object-oriented programs, Artificial intelligence, Data structures, Logic programming, Object oriented programming, Program documentation, Computer hardware description languages
Relation: Logic for Programming, Artificial Intelligence, and Reasoning: Proceedings of the 12th International LPAR Conference Montego Bay, Jamaica, 2-6 Dec 2005; 1 Edition; 354030553X; http://hdl.handle.net/1885/83348
Authors: Dahlqvist, Fredrik, Pattinson, Dirk
Superior Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Subject Terms: Keywords: Coalgebraic logic, Coalgebraic models, Coalgebraic semantics, Coalgebras, completeness, Kripke semantics, Large class, Modal logic, Computability and decidability, Computer science, Fusion reactions, Semantics, Algebra coalgebra, fusion
Subject Geographic: Winchester
Relation: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011; http://hdl.handle.net/1885/83299
Authors: Gore, Rajeev, Nguyen, Linh Anh
Contributors: Bernhard Beckert
Superior Title: Proceedings of TABLEAUX 2005
Subject Terms: Keywords: Automata theory, Decision making, Differentiation (calculus), Automaton-labelled formulae, Craig interpolation lemma, Regular grammar logics, Formal logic
Subject Geographic: Koblenz Germany
Relation: International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2005); http://hdl.handle.net/1885/83126
Availability: http://hdl.handle.net/1885/83126
Authors: Snell, W., Pattinson, Dirk, Widmann, Florian
Superior Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Subject Terms: Keywords: Decision procedure, Linear constraints, Linear inequalities, Modal logic, Modal rules, System description, Artificial intelligence, Binary decision diagrams, Probabilistic logics
Subject Geographic: Merida
Relation: 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18; http://hdl.handle.net/1885/83004
Authors: Myers, Rob, Pattinson, Dirk, Schroder, Lutz
Superior Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Subject Terms: Keywords: Coalgebraic, Finite model property, Generic frameworks, Hybrid logic, Modal logic, Modal operators, New results, Semantic criteria, Communication channels (information theory), Computability and decidability, Computer software, Probabilistic logics
Subject Geographic: York
Relation: 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009; http://hdl.handle.net/1885/81759