io-port.net

io-port 06111840 Endriss, Ulle; Grandi, Umberto; Porello, Daniele

Complexity of judgment aggregation. (English)

J. Artif. Intell. Res. (JAIR) 45, 481-514 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111839 Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Mayer-Eichberger, Valentin

A new look at BDDs for pseudo-Boolean constraints. (English)

J. Artif. Intell. Res. (JAIR) 45, 443-480 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111838 Rossi, Ryan A.; McDowell, Luke K.; Aha, David W.; Neville, Jennifer

Transforming graph data for statistical relational learning. (English)

J. Artif. Intell. Res. (JAIR) 45, 363-441 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111837 Rush, Alexander M.; Collins, Michael

A tutorial on dual decomposition and Lagrangian relaxation for inference in natural language processing. (English)

J. Artif. Intell. Res. (JAIR) 45, 305-362 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111836 Gutierrez, Patricia; Meseguer, Pedro

Removing redundant messages in $n$-ary BnB-ADOPT. (English)

J. Artif. Intell. Res. (JAIR) 45, 287-304 (2012).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111835 Hoshino, R.; Kawarabayashi, K.

Generating approximate solutions to the TTP using a linear distance relaxation. (English)

J. Artif. Intell. Res. (JAIR) 45, 257-286 (2012).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111834 Cuenca Grau, Bernardo; Motik, Boris

Reasoning over ontologies with hidden content: the import-by-query approach. (English)

J. Artif. Intell. Res. (JAIR) 45, 197-255 (2012).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111833 Voice, Thomas; Polukarov, Maria; Jennings, Nicholas R.

Coalition structure generation over graphs. (English)

J. Artif. Intell. Res. (JAIR) 45, 165-196 (2012).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111832 Mirroshandel, Seyed Abolghasem; Ghassem-Sani, Gholamreza

Towards unsupervised learning of temporal relations between events. (English)

J. Artif. Intell. Res. (JAIR) 45, 125-163 (2012).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111831 Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice

An approximative inference method for solving $\exists \forall \mathrm{SO}$ satisfiability problems. (English)

J. Artif. Intell. Res. (JAIR) 45, 79-124 (2012).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111830 Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Marx, Dániel; Salamon, András Z.

The tractability of CSP classes defined by forbidden patterns. (English)

J. Artif. Intell. Res. (JAIR) 45, 47-78 (2012).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06111829 Belardinelli, F.; Lomuscio, A.

Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. (English)

J. Artif. Intell. Res. (JAIR) 45, 1-45 (2012).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072732 Domshlak, C.; Karpas, E.; Markovitch, S.

Online speedup learning for optimal planning. (English)

J. Artif. Intell. Res. (JAIR) 44, 709-755 (2012).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072731 Konev, B.; Ludwig, M.; Walther, D.; Wolter, F.

The logical difference for the lightweight description logic $\cal {EL}$. (English)

J. Artif. Intell. Res. (JAIR) 44, 633-708 (2012).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072730 Hoffmann, J.; Weber, I.; Kraft, F.M.

SAP speaks PDDL: exploiting a software-engineering model for planning in business process management. (English)

J. Artif. Intell. Res. (JAIR) 44, 587-632 (2012).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072729 Turney, P.D.

Domain and function: a dual-space model of semantic relations and compositions. (English)

J. Artif. Intell. Res. (JAIR) 44, 533-585 (2012).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072728 Huang, J.; Kapoor, A.; Guestrin, C.

Riffled independence for efficient inference with partial rankings. (English)

J. Artif. Intell. Res. (JAIR) 44, 491-532 (2012).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072726 Velez, J.; Hemann, G.; Huang, A.S.; Posner, I.; Roy, N.

Modelling observation correlations for active exploration and robust object detection. (English)

J. Artif. Intell. Res. (JAIR) 44, 423-453 (2012).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072725 Albacete, E.; Calle, J.; Castro, E.; Cuadra, D.

Semantic similarity measures applied to an ontology for human-like interaction. (English)

J. Artif. Intell. Res. (JAIR) 44, 397-421 (2012).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06072724 Haslum, P.

Narrative planning: compilations to classical planning. (English)

J. Artif. Intell. Res. (JAIR) 44, 383-395 (2012).

20

PDF XML AMS-TeX TEXT BIBTeX DOI