Record Beta

Artificial Intelligence and Symbolic Computation (AISC)

https://id.confref.org/data/confref-portal/event/aisc1998

rdf:type	portal:Conference
schema:location	Plattsburgh (wd:Q998669)
rdfs:label	Artificial Intelligence and Symbolic Computation (AISC)
portal:acronym	AISC
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Plattsburgh
portal:country	USA
portal:endDate	1998-09-18
portal:keyword	Automated theorem provers
portal:keyword	Automated theorem proving
portal:keyword	Coding theory
portal:keyword	Computer algebra systems
portal:keyword	Computer algebra
portal:keyword	Cooperative Query Answering
portal:keyword	Data mining
portal:keyword	Equational theories
portal:keyword	Formal Frameworks
portal:keyword	Gröbner bases
portal:keyword	Inductive logic programming
portal:keyword	Inference Engines
portal:keyword	Integration of Logical Reasoning and Computer Algebra
portal:keyword	combining systems
portal:keyword	computer algebra systems and automated theorem provers
portal:keyword	constraint satisfaction problems
portal:keyword	database mining query language
portal:keyword	finite model
portal:keyword	incomplete information system
portal:keyword	inductive query language
portal:name	Artificial Intelligence and Symbolic Computation (AISC)
portal:portalPage	http://portal.confref.org/list/aisc1998
portal:series	https://id.confref.org/data/confref-portal/series/aisc
portal:startDate	1998-09-16
portal:submissionExtended	false
portal:year	1998
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	wd:Q106242898
cr:sameAs	https://dblp.org/db/conf/aisc/aisc1998

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.