An agent program logic with declarative goals

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	BNAIC 2006
Editors	PY Schobbens, W Vanhoof, G Schwanen
Place of Publication	Namen, Belgie
Publisher	University of Namur
Pages	385-386
Number of pages	2
ISBN (Print)	1568-7805
Publication status	Published - 2006
Event	18th Belgium-Netherlands conference on artificial intelligence, Namen, Belgie - Namen, Belgie Duration: 5 Oct 2006 → 6 Oct 2006

Name
Publisher	University of Namur

Conference	18th Belgium-Netherlands conference on artificial intelligence, Namen, Belgie
Period	5/10/06 → 6/10/06

Keywords

@inproceedings{85c7035635ef4176a1fcbee1e94f630c,

title = "An agent program logic with declarative goals",

keywords = "Geen BTA classificatie",

author = "KV Hindriks and JJC Meyer",

year = "2006",

language = "Undefined/Unknown",

isbn = "1568-7805",

publisher = "University of Namur",

pages = "385--386",

editor = "PY Schobbens and W Vanhoof and G Schwanen",

booktitle = "BNAIC 2006",

note = "18th Belgium-Netherlands conference on artificial intelligence, Namen, Belgie ; Conference date: 05-10-2006 Through 06-10-2006",

}

TY - GEN

T1 - An agent program logic with declarative goals

AU - Hindriks, KV

AU - Meyer, JJC

PY - 2006

Y1 - 2006

KW - Geen BTA classificatie

M3 - Conference contribution

SN - 1568-7805

SP - 385

EP - 386

BT - BNAIC 2006

A2 - Schobbens, PY

A2 - Vanhoof, W

A2 - Schwanen, G

PB - University of Namur

CY - Namen, Belgie

T2 - 18th Belgium-Netherlands conference on artificial intelligence, Namen, Belgie

Y2 - 5 October 2006 through 6 October 2006

ER -