<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main">Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective</title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author role="corresp">
							<persName><forename type="first">Michael</forename><surname>Gelfond</surname></persName>
							<email>michael.gelfond@ttu.edu</email>
							<affiliation key="aff0">
								<orgName type="institution">Texas Tech University</orgName>
								<address>
									<country key="US">USA</country>
								</address>
							</affiliation>
						</author>
						<title level="a" type="main">Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a Personal Perspective</title>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">E35CBC5EA4B8B809369671D81A19C5DA</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-24T05:29+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract>
<div xmlns="http://www.tei-c.org/ns/1.0"><p>The field of logic programming and nonmonotic reasoning was born in 1991, when a number of researchers working in "the theoretical ends" of logic programming and artificial intelligence gathered in Washington D.C. for the first LPNMR workshop, which was organized by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian. I was privileged to attend this meeting; to closely observe the development of the field over the past 28 years; and to witness many remarkable achievements, which in 1991 I would not have believed to be possible. In this talk I plan to discuss some of these achievements and share a number of personal observations on the field's history, current state, and possible future directions. Among other things, I will comment on the development of powerful knowledge representation languages, the design and implementation of non-monotonic reasoning systems, and use of these languages and systems in formalizing various types of knowledge and reasoning tasks. The talk is not meant to be a survey of the field, rather it is my personal perspective limited to a small, but important, collection of topics I am most familiar with.</p></div>
			</abstract>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body/>
		<back>
			<div type="references">

				<listBibl/>
			</div>
		</back>
	</text>
</TEI>
