Search Results

From iterated revision to iterated contraction: extending the Harper Identity

• Authors : Richard Booth; Jake Chandler

Subjects: QA75; Linguistics and Language; Conditional belief

Record details

How we designed winning algorithms for abstract argumentation and which insight we attained

• Authors : Federico Cerutti; Massimiliano Giacomin; Mauro Vallati

Subjects: QA75; Linguistics and Language; Computational model

Record details

Query Inseparability for ALC Ontologies

• Authors : Elena Botoeva; Vladislav Ryzhikov; Frank Wolter

Subjects: Discrete mathematics; FOS: Computer and information sciences; Linguistics and Language

• Source: Artificial Intelligence

Record details

Implicit, explicit and speculative knowledge

• Authors : Hans van Ditmarsch; Yì N. Wáng; Tim French ...

Subjects: Linguistics and Language; Computer science; media_common.quotation_subject

• Source: Artificial IntelligenceArtificial Intelligence, 2018, 256, pp.35-67. ⟨10.1016/j.artint.2017.11.004⟩Artificial Intelligence, Elsevier, 2018, 256,

Record details

Developmental aspects of English argument structure constructions for Korean-speaking second language learners: Usage-based constructional approaches to language development

• Authors : Gyu-Ho Shin

Subjects: 060201 languages & linguistics; Linguistics and Language; Language identification

• Source: Ampersand, Vol 4, Iss, Pp 10-20 (2017)

Record details

Unsupervised human activity analysis for intelligent mobile robots

• Authors : Paul Duckworth; David C. Hogg; Anthony G. Cohn

Subjects: Text corpus; Linguistics and Language; Computer science

Record details

Do me a syntax: Doggo memes, language games and the internal structure of English

• Authors : Elizabeth Butler; Jeffrey Punske

Subjects: Structure (mathematical logic); 050101 languages & linguistics; Linguistics and Language

• Source: Ampersand, Vol 6, Iss, Pp-(2019)

Record details

On the input/output behavior of argumentation frameworks

• Authors : Guido Boella; Federico Cerutti; Leendert van der Torre ...

Subjects: Argumentation semantics; Input/output; QA75

• Source: Scopus-ElsevierArtificial IntelligenceArtificial Intelligence, Elsevier, 2014, pp.144-197Artificial Intelligence, 2014,

Record details

Disjunctive closures for knowledge compilation

• Authors : Pierre Marquis; Hélène Fargier;

Subjects: Linguistics and Language; Pure mathematics; Class (set theory)

• Source: Artificial IntelligenceArtificial Intelligence, Elsevier, 2014, 216, pp.129-162. ⟨10.1016/j.artint.2014.07.004⟩

Record details

Communicating open systems

• Authors : Juan A. Rodríguez-Aguilar; Carles Sierra; Michael Luck

Subjects: Structure (mathematical logic); Linguistics and Language; Institutional model theory

• Source: d'Inverno, M, Luck, M, Noriega, P, Rodriguez-Aguilar, J A & Sierra, C 2012, ' Communicating open systems ', Artificial Intelligence, vol. 186, pp. 38-94 .

Record details