"On the Semantics of Logic Program Composition"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday	Robert L. Constable; Alexandra Silva	2012	Springer Berlin Heidelberg
Formal semantics and logic	Bas C. Van Fraassen	1971	Macmillan
Formal semantics and logic	Bas C. Van Fraassen	1971	Macmillan
Mathematical Aspects of Logic Programming Semantics	Pascal Hitzler; Anthony Seda	2010	Routledge
Logic and Lexicon: The Semantics of the Indefinite	Manfred Pinkal	1995	Springer Netherlands
The Cartesian Semantics of the Port Royal Logic	John N. Martin	2019	Routledge
Kotarbiński: Logic, Semantics and Ontology	Jan Wolenski	1990	Springer Netherlands
Neighborhood Semantics for Modal Logic	Eric Pacuit	1st ed. 2017	Springer International Publishing
Meinongian Logic: The Semantics of Existence and Nonexistence	Dale Jacquette	1996	De Gruyter
Logic, probability, and epistemology: the power of semantics /	Sarkar, Sahotra.	1996.	Garland Pub. Co.,
The new Composition by logic	Moss, Sidney Phil	1978	Southern Illinois University Press
Introduction to Semantics and Formalization of Logic	Rudolf Carnap	1959	Harvard University Press
Introduction to semantics: and Formalization of logic.	Rudolf Carnap	1959	Harvard University Press
History of Logic and Semantics: Studies on the Aristotelian and Terminist Traditions	Paloma Pérez-Ilzarbe; María Cerezo (Volume Editors)	2017-01-19	Brill
Possible worlds: logic, semantics and ontology	Guido Imaguire; Dale Jacquette	2010	Philosophia
Symbolic Logic: Syntax, Semantics, and Proof	David Agler	2012	Rowman & Littlefield Publishers
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic	Shier Ju; Hu Liu; Hiroakira Ono	2015	Springer Berlin Heidelberg
Algebraic Approaches to Program Semantics	Ernest G. Manes; Michael A. Arbib	1986	Springer New York
Predicate Calculus and Program Semantics	Edsger W. Dijkstra; Carel S. Scholten	1990	Springer New York
Theory of Program Structures: Schemes, Semantics, Verification	Prof. Sheila A. Greibach (eds.)	1975	Springer-Verlag Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
On the Semantics of Logic Program Composition	Antonio Brogi	Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development	Maurice Bruynooghe; Kung-Kiu Lau	2004	Springer Berlin Heidelberg
4. Meta-Logic for Program Composition: Semantics Issues	A. Brogi and F. Turini	Meta-logics and logic programming /	Apt, Krzysztof R.,; Turini, Franco,	1995.	MIT Press,
Complementing logic program semantics	Roberto Giacobazzi; Francesco Ranzato	Algebraic and Logic Programming: 5th International Conference, ALP ' 96, Aachen, Germany, September 25 - 27, 1996. Proceedings	Michael Hanus; Mario Rodríguez-Artalejo	1996	Springer Berlin Heidelberg
On the semantics of logic programs	Maurizio Gabbrielli; Giorgio Levi	Automata, Languages and Programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings	Javier Leach Albert; Burkhard Monien; Mario Rodriguez Artalejo	1991	Springer Berlin Heidelberg
Efficient program synthesis: Semantics, logic, complexity	Max I. Kanovich	Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings	Takayasu Ito; Albert R. Meyer	1991	Springer Berlin Heidelberg
The Logic of Semantics	Johan Van Benthem	Essays in Logical Semantics	Johan van Benthem	1986	Springer Netherlands
On the semantics of logic programming languages	Alberto Martelli; Gianfranco Rossi	Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings	Ehud Shapiro	1986	Springer Berlin Heidelberg
On the Semantics and Logic of Obligation	Frank Jackson	Mind, Method and Conditionals: Selected essays	Frank Jackson	1998	Routledge
10 The influence of logic on semantics	Albert Newen; Bernhard Schröder	Semantics - Foundations, History and Methods	Klaus von Heusinger; Claudia Maienborn; Paul Portner	2019	De Gruyter Mouton
10. The influence of logic on semantics	Albert Newen; Bernhard Schröder	Volume 1	Claudia Maienborn; Klaus von Heusinger; Paul Portner	2011	De Gruyter Mouton
Logic program semantics for programming with equations	Joxan Jaffar; Peter J. Stuckey	Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings	Ehud Shapiro	1986	Springer Berlin Heidelberg
The Semantics of Predicate Logic	Hans Hermes	Introduction to Mathematical Logic	Hans Hermes	1973	Springer Berlin Heidelberg
The Semantics of Logic Programs	Pascal Hitzler; Anthony Seda	Mathematical Aspects of Logic Programming Semantics	Pascal Hitzler; Anthony Seda	2010	Routledge
“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics	Roberto Giacobazzi	STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings	Claude Puech; Rüdiger Reischuk	1996	Springer Berlin Heidelberg
Algebraic semantics and program logics: Algorithmic logic for program trees	Patrice Enjalbert	Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980	A. Salwicki	1983	Springer Berlin Heidelberg
185 Composition semantics		UML 2. 0 and the unified process: practical object-oriented analysis and design	Arlow, Jim; Neustadt, Ila	2005;2009	Addison-Wesley Professional
Decidability of logic program semantics and applications to testing	Salvatore Ruggieri	Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP ' 96, Aachen, Germany, September 24 - 27, 1996. Proceedings	Herbert Kuchen; S.Doaitse Swierstra	1996	Springer Berlin Heidelberg
On the semantics of negations in logic programming	Els Laenens	Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU ' 93, Granada, Spain, November 8-10, 1993. Proceedings	Michael Clarke; Rudolf Kruse; Serafin Moral	1993	Springer Berlin Heidelberg
On the Semantics of Logic Programs with Preferences	Sergio Greco; Irina Trubitsyna; Ester Zumpano	Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings	Michael Fisher; Wiebe Hoek; Boris Konev; Alexei Lisitsa	2006	Springer Berlin Heidelberg
Program Composition	Jayadev Misra	A Discipline of Multiprogramming: Programming Theory for Distributed Applications	Jayadev Misra	2001	Springer New York
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"On the Semantics of Logic Program Composition" - similar Books and Chapters