Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Artificial Intelligence and Symbolic Computation (AISC)

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

This record is part of the confref event International Conference on Artificial Intelligence and Symbolic Mathematical Computing.

rdf:typeportal:Conference
schema:locationSteyr (wd:Q260320)
rdfs:labelArtificial Intelligence and Symbolic Computation (AISC)
portal:acronymAISC
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:citySteyr
portal:countryAustria
portal:endDate1996-09-25
portal:keywordArc-Consistency
portal:keywordConstraint Satisfaction Problem
portal:keywordDialog-Based Learning (DBL)
portal:keywordFiltering algorithms
portal:keywordGröbner bases
portal:keywordInterval arithmetic
portal:keywordManipulators
portal:keywordNewton methods
portal:keywordProgram Completion
portal:keywordProgramming by Demonstration (PbD)
portal:keywordRobot Programming by Demonstration (RPD)
portal:keywordRobots
portal:keywordSLDNF-resolution
portal:keywordcooperation between solvers for mixed constraints
portal:keywordinterval constraints
portal:keywordlifting lemma
portal:keywordlocal consistency
portal:keywordnon-linear constraint solving
portal:keywordquadratic algebraic extension
portal:keywordrepresentation of rational, real, algebraic, and constructible numbers
portal:nameArtificial Intelligence and Symbolic Computation (AISC)
portal:portalPagehttp://portal.confref.org/list/aisc1996
portal:serieshttps://id.confref.org/data/confref-portal/series/aisc
portal:startDate1996-09-23
portal:submissionExtendedfalse
portal:year1996
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAswd:Q106242902
cr:sameAshttps://dblp.org/db/conf/aisc/aismc1996

Data: Turtle · JSON-LD · N-Triples · RDF/XML

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