Suchergebnisse - "Semantics of computation"

Semantics and computation of the evolution of hybrid systems with ariadne

Autoren: Collins, Pieter Bresolin, Davide Gonzalez, Sanja Živanovic et al.

Zugangs-URL: https://cris.maastrichtuniversity.nl/en/publications/bf76e143-7088-4d75-bebc-037396a0d69e

Wherefore Art Thou $$\ldots $$ Semantics of Computation?

Autoren: Furio Honsell

Quelle: IFIP Advances in Information and Communication Technology ISBN: 9783319472850

Schlagwörter: 4. Education, 16. Peace & justice

Zugangs-URL: https://link.springer.com/10.1007/978-3-319-47286-7_1
https://link.springer.com/chapter/10.1007/978-3-319-47286-7_1/fulltext.html
https://link.springer.com/chapter/10.1007/978-3-319-47286-7_1
https://rd.springer.com/chapter/10.1007/978-3-319-47286-7_1

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation: Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation

Autoren: LEONE, Nicola RULLO, Pasquale SCARCELLO, Francesco

Quelle: Information and Computation. 135:69-112

Schlagwörter: Computational Theory and Mathematics, Knowledge representation, knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, commonsense reasoning, Logic programming, Theoretical Computer Science, Information Systems, Computer Science Applications

Dateibeschreibung: application/xml

Zugangs-URL: https://dblp.uni-trier.de/db/journals/iandc/iandc135.html#LeoneRS97
https://dl.acm.org/doi/10.1006/inco.1997.2630
https://doi.org/10.1006/inco.1997.2630
https://core.ac.uk/display/82002301
https://www.sciencedirect.com/science/article/pii/S0890540197926304
https://hdl.handle.net/20.500.11770/125296

Semantics and computation

Autoren: Matthew Stone

Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories

Autoren: Rod M. Burstall Joseph A. Goguen Andrzej Tarlecki

Quelle: Theoretical Computer Science. 91:239-264

Schlagwörter: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Zugangs-URL: https://dblp.uni-trier.de/db/journals/tcs/tcs91.html#TarleckiBG91
https://www.sciencedirect.com/science/article/pii/030439759190085G

Form and Inform. Internal Semantics of Computation Languages and Architecture of Developed Capitalism

Autoren: Adam Przywara Krzysztof Dolega

Quelle: Widok. Teorie i Praktyki Kultury Wizualnej.

Zugangs-URL: https://pismowidok.org/index.php/one/article/download/402/925

Computational Semantics Requires Computation

Autoren: Yorick Wilks

Schlagwörter: 4. Education

Zugangs-URL: http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2531
https://www.igi-global.com/chapter/computational-semantics-requires-computation/64576
https://dblp.uni-trier.de/db/conf/flairs/flairs2011.html#Wilks11

Topological semantics for computation tree logics

Autoren: Till PLEWE

Quelle: Conference Proceedings of Japan Society for Software Science and Technology. 2002, :2

Semantics and computation of the generalized modus ponens: The long paper

Autoren: Roger Martin-Clouaire

Quelle: International Journal of Approximate Reasoning. 3:195-217

Schlagwörter: 0209 industrial biotechnology, implication functions, deduction rules, t-norms, Applied Mathematics, 02 engineering and technology, approximate reasoning systems, 16. Peace & justice, Theoretical Computer Science, imprecision, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, fuzzy logic, generalized modus ponens, uncertainty, trapezoidal possibility distributions, Software

Zugangs-URL: http://www.sciencedirect.com/science/article/pii/0888613X89900066
https://dblp.uni-trier.de/db/journals/ijar/ijar3.html#Martin-Clouaire89
https://www.sciencedirect.com/science/article/pii/0888613X89900066

Some fundamental algebraic tools for the semantics of computation

Autoren: Rod M. Burstall Joseph A. Goguen

Quelle: Theoretical Computer Science. 31:175-209

Schlagwörter: Theoretical Computer Science, Computer Science(all)

Zugangs-URL: https://dblp.uni-trier.de/db/journals/tcs/tcs31.html#GoguenB84a
https://www.sciencedirect.com/science/article/pii/0304397584900367
https://www.sciencedirect.com/science/article/pii/0304397584901348#!
https://www.sciencedirect.com/science/article/pii/0304397584901348
https://dblp.uni-trier.de/db/journals/tcs/tcs31.html#GoguenB84

Semantics of computation

Autoren: Joseph A. Goguen

Quelle: Lecture Notes in Computer Science ISBN: 9783540071426

Zugangs-URL: https://rd.springer.com/chapter/10.1007/3-540-07142-3_75
https://link.springer.com/10.1007%2F3-540-07142-3_75
https://link.springer.com/chapter/10.1007/3-540-07142-3_75
https://dblp.uni-trier.de/db/conf/category/category1974.html#Goguen74

Mutual belief revision: semantics and computation

Autoren: Yi Jin Michael Thielscher Dongmo Zhang et al.

Weitere Verfasser: Yi Jin Michael Thielscher Dongmo Zhang et al.

Quelle: http://www.aaai.org/Papers/AAAI/2007/AAAI07-069.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.580.537

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.580.537
http://www.aaai.org/Papers/AAAI/2007/AAAI07-069.pdf

Analysis in the Semantics of Computation

Autoren: Anthony Karel Seda The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Anthony Karel Seda The Pennsylvania State University CiteSeerX Archives

Quelle: http://euclid.ucc.ie/pages/staff/seda/htdocs/asc.pdf.

Schlagwörter: Logic programs, fixed-point semantics, Banach lattices of measures

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.5668; http://euclid.ucc.ie/pages/staff/seda/htdocs/asc.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.5668
http://euclid.ucc.ie/pages/staff/seda/htdocs/asc.pdf

Quantitative Disjunctive Logic Programming: Semantics and Computation

Autoren: Cristinel Mateis The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Cristinel Mateis The Pennsylvania State University CiteSeerX Archives

Quelle: http://rigel.dbai.tuwien.ac.at/staff/mateis/./gz/aicom.ps.gz.

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.4318; http://rigel.dbai.tuwien.ac.at/staff/mateis/./gz/aicom.ps.gz

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.4318
http://rigel.dbai.tuwien.ac.at/staff/mateis/./gz/aicom.ps.gz

Semantics and computation of the generalized modus ponens : the long paper

Autoren: Martin Clouaire, Roger Station de Biometrie Et d'Intelligenece Artificielle, . ProdInra, Migration

Weitere Verfasser: Martin Clouaire, Roger Station de Biometrie Et d'Intelligenece Artificielle, . ProdInra, Migration

Schlagwörter: [SDV] Life Sciences [q-bio], INTELLIGENCE ARTIFICIELLE

Zugangs-URL: https://hal.inrae.fr/hal-02728289v1

On syntax, alternative semantics, and computation in coordination

Autoren: Agafonova, Irina

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

Autoren: Nicola Leone Pasquale Rullo Francesco Scarcello et al.

Weitere Verfasser: Nicola Leone Pasquale Rullo Francesco Scarcello et al.

Quelle: http://www.dbai.tuwien.ac.at/staff/leone/papers/infcom.ps.gz.

Dateibeschreibung: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3052; http://www.dbai.tuwien.ac.at/staff/leone/papers/infcom.ps.gz

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3052
http://www.dbai.tuwien.ac.at/staff/leone/papers/infcom.ps.gz

Quantitative disjunctive logic programming: Semantics and computation

Autoren: Mateis, Cristinel

Schlagwörter: QDLP language, Logic programming, knowledge representation language

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1578174

Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories

Autoren: Goguen, J. A. Burstall, R. M.

Schlagwörter: category theory, colimits, free theories, algebraic theories, CLEAR, abstract theories, Semantics in the theory of computing, comma categories, signed theories, Theories (e.g., algebraic theories), structure, and semantics, two- dimensional categories, calculus of operations, program specifications

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/3903992

On Kozen’s Embedding and the Use of Analysis in the Semantics of Computation∗

Autoren: Anthony Karel Seda The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Anthony Karel Seda The Pennsylvania State University CiteSeerX Archives

Quelle: http://euclid.ucc.ie/pages/staff/seda/htdocs/okeaasc.pdf.

Schlagwörter: Semantics of computation, domains, Banach lattices of measures, logic pro- grams, fixed-point semantics. Contents

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.501.8667; http://euclid.ucc.ie/pages/staff/seda/htdocs/okeaasc.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.501.8667
http://euclid.ucc.ie/pages/staff/seda/htdocs/okeaasc.pdf