AI '98 : advanced topics in artificial intelligence (Brisbane, 13-17 July 1998)Antoniou, Grigoris; Slaney, John.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-65138-1, XI, 332 p, isbn 3-540-65138-1Conference Proceedings

AI 2002 : advances in artificial intelligence (Canberra, 2-6 December 2002)McKay, Bob; Slaney, John.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-00197-2, XV, 730 p, isbn 3-540-00197-2Conference Proceedings

Lookahead saturation with restriction for SATANBULAGAN; SLANEY, John.Lecture notes in computer science. 2005, pp 727-731, issn 0302-9743, isbn 3-540-29238-1, 1Vol, 5 p.Conference Paper

Using tableaux to automate the lambek and other categorial calculiLUZ, Saturnino F.Information and computation (Print). 2000, Vol 162, Num 1-2, pp 206-225, issn 0890-5401Article

Optimal axiomatizations of finitely valued logicsSALZER, Gernot.Information and computation (Print). 2000, Vol 162, Num 1-2, pp 185-205, issn 0890-5401Article

On a linear representation theory for quantitative belief changeFUSAOKA, Akira.Lecture notes in computer science. 2002, pp 48-59, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Knowledge-driven processes can be managedDEBENHAM, John.Lecture notes in computer science. 2002, pp 191-202, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Omni-drive robot motion on curved paths: The fastest path between two points is not a straight-lineASHMORE, Mark; BARNES, Nick.Lecture notes in computer science. 2002, pp 225-236, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Metric SCSPs: Partial constraint satisfaction via Semiring CSPs augmented with metricsGHOSE, Aditya; HARVEY, Peter.Lecture notes in computer science. 2002, pp 443-454, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Lower bounds on the size of test data setsMENZIES, T; WAUGH, S.Lecture notes in computer science. 1998, pp 227-237, issn 0302-9743, isbn 3-540-65138-1Conference Paper

A labelled sequent system for tense logic K_tBONNETTE, N; GORE, R.Lecture notes in computer science. 1998, pp 71-82, issn 0302-9743, isbn 3-540-65138-1Conference Paper

Representation by correspondence : An inadequate conception of knowledge for artificial systemsCAMPBELL, R. L.Lecture notes in computer science. 1998, pp 15-26, issn 0302-9743, isbn 3-540-65138-1Conference Paper

A general approach for building constraint languagesHOFSTEDT, Petra.Lecture notes in computer science. 2002, pp 431-442, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Intention and rationality for PRS-like agentsWOBCKE, Wayne.Lecture notes in computer science. 2002, pp 167-178, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Modeling programs with unstructured control flow for debuggingMAYER, Wolfgang; STUMPTNER, Markus.Lecture notes in computer science. 2002, pp 107-118, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Surface feature recognition of wear debrisMOHAMMAD SHAKEEL LAGHARI.Lecture notes in computer science. 2002, pp 627-637, issn 0302-9743, isbn 3-540-00197-2, 11 p.Conference Paper

An adaptive activation function for higher order neural networksSHUXIANG XU; MING ZHANG.Lecture notes in computer science. 2002, pp 356-362, issn 0302-9743, isbn 3-540-00197-2, 7 p.Conference Paper

Computational models of the amygdala and the orbitofrontal cortex: A hierarchical reinforcement learning system for robotic controlWEIDONG ZHOU; COGGINS, Richard.Lecture notes in computer science. 2002, pp 419-430, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Semantic selection for resolution in clause graphsSEUNGYEOB CHOI; KERBER, Manfred.Lecture notes in computer science. 2002, pp 83-94, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Computation in recurrent neural networks : From counters to iterated function systemsKALINKE, Y; LEHMANN, H.Lecture notes in computer science. 1998, pp 179-190, issn 0302-9743, isbn 3-540-65138-1Conference Paper

Convergency of learning processDONGMO ZHANG; NORMAN FOO.Lecture notes in computer science. 2002, pp 547-556, issn 0302-9743, isbn 3-540-00197-2, 10 p.Conference Paper

Structured features from concept lattices for unsupervised learning and classificationBAIN, Michael.Lecture notes in computer science. 2002, pp 557-568, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

Genuine representation in artificial systemsBICKHARD, M. H.Lecture notes in computer science. 1998, pp 27-38, issn 0302-9743, isbn 3-540-65138-1Conference Paper

Representing defeasible constraints and observations in action theoriesYAN ZHANG.Lecture notes in computer science. 1998, pp 309-320, issn 0302-9743, isbn 3-540-65138-1Conference Paper

Page / 5