Log in

Relevant bibliographies by topics / Logic programming

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Logic programming'

Author: Grafiati

Published: 4 June 2021

Last updated: 30 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logic programming.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logic programming"

1

Cohen, Jacques. "Logic programming and constraint logic programming." ACM Computing Surveys 28, no. 1 (March 1996): 257–59. http://dx.doi.org/10.1145/234313.234416.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

KOWALSKI, ROBERT, and FARIBA SADRI. "Programming in logic without logic programming." Theory and Practice of Logic Programming 16, no. 3 (March 16, 2016): 269–95. http://dx.doi.org/10.1017/s1471068416000041.

Full text

Abstract:

AbstractIn previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role. In the canonical model, states, actions, and other events are represented with timestamps. But in the operational semantics (OS), for the sake of efficiency, timestamps are omitted and only the current state is maintained. State transitions are performed reactively by executing actions to make the consequents of rules true whenever the antecedents become true. This OS is sound, but incomplete. It cannot make reactive rules true by preventing their antecedents from becoming true, or by proactively making their consequents true before their antecedents become true. In this paper, we characterize the notion of reactive model, and prove that the OS can generate all and only such models. In order to focus on the main issues, we omit the logic programming component of the framework.

APA, Harvard, Vancouver, ISO, and other styles

3

Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (June 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.

Full text

Abstract:

AbstractFrom the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After the emergence of a wide variety of non-classical logics and the understanding of the limitations presented by first-order classical logic, it became necessary to consider logic programming based on other types of reasoning in addition to classical reasoning. A type of reasoning that has been well studied is the paraconsistent, that is, the reasoning that tolerates contradictions. However, although there are many paraconsistent logics with different types of semantics, their application to logic programming is more delicate than it first appears, requiring an in-depth study of what can or cannot be transferred directly from classical first-order logic to other types of logic.Based on studies of Tarcisio Rodrigues on the foundations of Paraconsistent Logic Programming (2010) for some Logics of Formal Inconsistency (LFIs), this thesis intends to resume the research of Rodrigues and place it in the specific context of LFIs with three- and four-valued semantics. This kind of logics are interesting from the computational point of view, as presented by Luiz Silvestrini in his Ph.D. thesis entitled “A new approach to the concept of quase-truth” (2011), and by Marcelo Coniglio and Martín Figallo in the article “Hilbert-style presentations of two logics associated to tetravalent modal algebras” [Studia Logica (2012)]. Based on original techniques, this study aims to define well-founded systems of paraconsistent logic programming based on well-known logics, in contrast to the ad hoc approaches to this question found in the literature.Abstract prepared by Kleidson Êglicio Carvalho da Silva Oliveira.E-mail: kecso10@yahoo.com.brURL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/322632

APA, Harvard, Vancouver, ISO, and other styles

4

K, Kwon. "Exception Handling in Logic Programming." Advances in Robotic Technology 1, no. 1 (October 2, 2023): 1–3. http://dx.doi.org/10.23880/art-16000104.

Full text

Abstract:

One problem on logic programming is to express exception handling. We argue that this problem can be solved by adopting linear logic and prioritized-choice disjunctive goal formulas (PCD) of the form G G 0 *1 ⊕ where G0, G1 are goals. These goals have the following intended semantics: sequentially choose the first true goal GI and execute GI where i (= 0 or 1), discarding the rest if any.

APA, Harvard, Vancouver, ISO, and other styles

5

Robinson, J. A. "Logic and logic programming." Communications of the ACM 35, no. 3 (March 1992): 40–65. http://dx.doi.org/10.1145/131295.131296.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Voronkov, A. A. "Logic programming and ?-programming." Cybernetics 25, no. 1 (1989): 83–91. http://dx.doi.org/10.1007/bf01074888.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Genesereth, Michael R., and Matthew L. Ginsberg. "Logic programming." Communications of the ACM 28, no. 9 (September 1985): 933–41. http://dx.doi.org/10.1145/4284.4287.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Brady, Michael. "Logic Programming." Irish Journal of Psychology 10, no. 2 (January 1989): 304–16. http://dx.doi.org/10.1080/03033910.1989.10557749.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ashbacher, Charles. "From logic to logic programming." Journal of Automated Reasoning 16, no. 3 (June 1996): 427. http://dx.doi.org/10.1007/bf00252183.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

ANTONIOU, GRIGORIS. "LOGIC PROGRAMMING AND DEFAULT LOGIC." International Journal on Artificial Intelligence Tools 03, no. 03 (September 1994): 367–73. http://dx.doi.org/10.1142/s0218213094000194.

Full text

Abstract:

We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic program via its standard operational semantics correspond exactly to the extensions of the default theory.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Logic programming"

1

Zhu, Biao. "Logic programming framework for resolution logics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0006/MQ43411.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

McPhee, Richard. "Compositional logic programming." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393413.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Toni, Francesca. "Abductive logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490558.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hale, Roger William Stephen. "Programming in temporal logic." Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Quintero, Jacinto Alfonso Davila. "Agents in logic programming." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263219.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Moreno, Dávila Julio Moreno Davila Julio. "Mathematical programming for logic inference /." [S.l.] : [s.n.], 1990. http://library.epfl.ch/theses/?nr=784.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Wetsel, Gerhard. "Abductive and constraint logic programming." Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/7212.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Wang, Tzone I. "Distributed object oriented logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296891.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Seres, Silvija. "The algebra of logic programming." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Goldsmith, M. H. "Logic, programming and formal specification." Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371541.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Logic programming"

1

1949-, Apt Krzysztof R., and Turini Franco 1949-, eds. Meta-logics and logic programming. Cambridge, Mass: MIT Press, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dahl, Véronica, and Ilkka Niemelä, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74610-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Balbin, Isaac, and Koenraad Lecot. Logic Programming. Dordrecht: Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Gabbrielli, Maurizio, and Gopal Gupta, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11562931.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Voronkov, A., ed. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55460-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Etalle, Sandro, and Mirosław Truszczyński, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11799573.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Hill, Patricia M., and David S. Warren, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Stuckey, Peter J., ed. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45619-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Codognet, Philippe, ed. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45635-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Demoen, Bart, and Vladimir Lifschitz, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b99475.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Logic programming"

1

Šimkus, Mantas. "Fusion of Logic Programming and Description Logics." In Logic Programming, 551–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5_59.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Balbin, Isaac, and Koenraad Lecot. "Programming Concepts in Logic Programming." In Logic Programming, 101–19. Dordrecht: Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ben-Ari, Mordechai. "Logic Programming." In Mathematical Logic for Computer Science, 173–200. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0335-6_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lee, Kent D. "Logic Programming." In Foundations of Programming Languages, 277–304. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70790-7_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Conery, John S. "Logic Programming." In The Kluwer International Series in Engineering and Computer Science, 7–34. Boston, MA: Springer US, 1987. http://dx.doi.org/10.1007/978-1-4613-1987-0_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Dawe, M. S., and C. M. Dawe. "Logic Programming." In PROLOG for Computer Science, 21–26. London: Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-2031-5_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Vlahavas, Ioannis, Panagiotis Tsarchopoulos, and Ilias Sakellariou. "Logic Programming." In Parallel and Constraint Logic Programming, 5–52. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5119-5_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Weik, Martin H. "logic programming." In Computer Science and Communications Dictionary, 926. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_10596.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Frühwirth, Thom, and Slim Abdennadher. "Logic Programming." In Cognitive Technologies, 13–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05138-2_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Kriz, J., and H. Sugaya. "Logic Programming." In Computer Systems for Process Control, 305–41. Boston, MA: Springer US, 1986. http://dx.doi.org/10.1007/978-1-4613-2237-5_14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logic programming"

1

Dahl, Veronica, Diana Cukierman, Gemma Bel-Enguix, and M. Dolores Jiménez-Lopez. "Logic programming." In the 15th Western Canadian Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1806512.1806515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Jaffar, J., and J. L. Lassez. "Constraint logic programming." In the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/41625.41635.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Rugaber, Spencer, Zef Hemel, and Kurt Stirewalt. "Live logic programming." In 2013 1st International Workshop on Live Programming (LIVE). IEEE, 2013. http://dx.doi.org/10.1109/live.2013.6617343.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Bossi, A., M. Bugliesi, M. Gabbrielli, G. Levi, and M. C. Meo. "Differential logic programming." In the 20th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/158511.158689.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

You, Jia-Huai, and P. A. Subrahmanyam. "Equational logic programming." In the 13th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/512644.512663.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Laenens, Els, Domenico Sacca, and Dirk Vermeir. "Extending logic programming." In the 1990 ACM SIGMOD international conference. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/93597.98728.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Şensoy, Murat, Geeth de Mel, Wamberto W. Vasconcelos, and Timothy J. Norman. "Ontological logic programming." In the International Conference. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/1988688.1988740.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Kifer, M., and J. Wu. "A logic for object-oriented logic programming." In the eighth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/73721.73758.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Tran, Son N. "Compositional Neural Logic Programming." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/421.

Full text

Abstract:

This paper introduces Compositional Neural Logic Programming (CNLP), a framework that integrates neural networks and logic programming for symbolic and sub-symbolic reasoning. We adopt the idea of compositional neural networks to represent first-order logic predicates and rules. A voting backward-forward chaining algorithm is proposed for inference with both symbolic and sub-symbolic variables in an argument-retrieval style. The framework is highly flexible in that it can be constructed incrementally with new knowledge, and it also supports batch reasoning in certain cases. In the experiments, we demonstrate the advantages of CNLP in discriminative tasks and generative tasks.

APA, Harvard, Vancouver, ISO, and other styles

10

Sato, Masahiko, and Yoshihito Toyama. "FUNCTIONAL AND LOGIC PROGRAMMING." In Third Fuji International Symposium. WORLD SCIENTIFIC, 1998. http://dx.doi.org/10.1142/9789814528849.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logic programming"

1

Day, William B. Parallel Logic Programming Architecture. Fort Belvoir, VA: Defense Technical Information Center, April 1990. http://dx.doi.org/10.21236/ada225199.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bowen, Kenneth A. Logic Programming and Knowledge Maintenance. Fort Belvoir, VA: Defense Technical Information Center, August 1987. http://dx.doi.org/10.21236/ada185571.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Minker, Jack, and Mark Weiser. Parallel Logic Programming and ZMOB. Fort Belvoir, VA: Defense Technical Information Center, April 1988. http://dx.doi.org/10.21236/ada196942.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Burge, John, Bill Noah, and Les Smith. Conceptual Modeling via Logic Programming. Fort Belvoir, VA: Defense Technical Information Center, January 1990. http://dx.doi.org/10.21236/ada219785.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bickford, Mark, and David Guaspari. A Programming Logic for Distributed Systems. Fort Belvoir, VA: Defense Technical Information Center, June 2005. http://dx.doi.org/10.21236/ada435291.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Conway, Neil, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David Maier. Logic and Lattices for Distributed Programming. Fort Belvoir, VA: Defense Technical Information Center, June 2012. http://dx.doi.org/10.21236/ada563903.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Baudinet, Marianne. Temporal Logic Programming is Complete and Expressive,. Fort Belvoir, VA: Defense Technical Information Center, October 1988. http://dx.doi.org/10.21236/ada326173.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Bowen, Kenneth A. Testbeds for Logic Programming and Very Large Databases. Fort Belvoir, VA: Defense Technical Information Center, September 1987. http://dx.doi.org/10.21236/ada209632.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Day, William B. Constraints Logic Programming in Knowledge-Based Planning Domains. Fort Belvoir, VA: Defense Technical Information Center, December 1992. http://dx.doi.org/10.21236/ada262958.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Shakarian, Paulo, Gerardo I. Simari, and Devon Callahan. Reasoning about Complex Networks: A Logic Programming Approach. Fort Belvoir, VA: Defense Technical Information Center, January 2013. http://dx.doi.org/10.21236/ada591598.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!