id	sid	eid	entity	type
bracis-28353	1	1	first	ORDINAL
bracis-28353	2	1	12	CARDINAL
bracis-28353	2	2	2023	CARDINAL
bracis-28353	3	1	128–143	CARDINAL
bracis-28353	3	2	university of notre dame hesburgh	ORG
bracis-28353	3	3	pdf download book epub intelligent systems	ORG
bracis-28353	3	4	pdf download book epub warlles carlos costa machado9	ORG
bracis-28353	3	5	viviane bonadia	PERSON
bracis-28353	3	6	leliane nunes de barros10	PERSON
bracis-28353	3	7	maria viviane de menezes11	PERSON
bracis-28353	3	8	14195	DATE
bracis-28353	3	9	521	CARDINAL
bracis-28353	7	1	\(\alpha	ORG
bracis-28353	7	2	\(\alpha	ORG
bracis-28353	9	1	first	ORDINAL
bracis-28353	9	2	ctl	ORG
bracis-28353	10	1	university of notre dame hesburgh	ORG
bracis-28353	11	1	2024	CARDINAL
bracis-28353	11	2	article 27 may 2021	LAW
bracis-28353	11	3	2022	CARDINAL
bracis-28353	12	1	1	CARDINAL
bracis-28353	12	2	9	CARDINAL
bracis-28353	18	1	22	CARDINAL
bracis-28353	18	2	26	CARDINAL
bracis-28353	19	1	fig	ORG
bracis-28353	21	1	1a	CARDINAL
bracis-28353	23	1	1a	CARDINAL
bracis-28353	24	1	11	CARDINAL
bracis-28353	27	1	9	CARDINAL
bracis-28353	28	1	only one	CARDINAL
bracis-28353	30	1	10	CARDINAL
bracis-28353	30	2	13	CARDINAL
bracis-28353	31	1	1	CARDINAL
bracis-28353	33	1	1a	CARDINAL
bracis-28353	34	1	\(\langle	ORG
bracis-28353	35	1	\(\langle	CARDINAL
bracis-28353	38	1	22	CARDINAL
bracis-28353	39	1	9	CARDINAL
bracis-28353	40	1	three	CARDINAL
bracis-28353	41	1	6	CARDINAL
bracis-28353	42	1	6	CARDINAL
bracis-28353	42	2	18	DATE
bracis-28353	42	3	21	DATE
bracis-28353	42	4	28	CARDINAL
bracis-28353	42	5	19	CARDINAL
bracis-28353	43	1	2	CARDINAL
bracis-28353	45	1	1b	CARDINAL
bracis-28353	45	2	1a	CARDINAL
bracis-28353	49	1	\(a_1\	ORG
bracis-28353	49	2	\(s_{1}\	GPE
bracis-28353	50	1	\(s_{1}\	GPE
bracis-28353	54	1	two	CARDINAL
bracis-28353	55	1	first	ORDINAL
bracis-28353	55	2	25	CARDINAL
bracis-28353	56	1	second	ORDINAL
bracis-28353	57	1	16	CARDINAL
bracis-28353	58	1	15	CARDINAL
bracis-28353	59	1	3	CARDINAL
bracis-28353	60	1	3	CARDINAL
bracis-28353	62	1	1a	CARDINAL
bracis-28353	64	1	\(\langle a_{1	ORG
bracis-28353	64	2	\(\langle a_{2	ORG
bracis-28353	66	1	4	CARDINAL
bracis-28353	68	1	1b	CARDINAL
bracis-28353	70	1	s_{2},a_6	GPE
bracis-28353	70	2	s_3	GPE
bracis-28353	70	3	s_3	GPE
bracis-28353	71	1	2	CARDINAL
bracis-28353	71	2	12	DATE
bracis-28353	71	3	14	DATE
bracis-28353	71	4	20	CARDINAL
bracis-28353	72	1	ltl linear time	ORG
bracis-28353	72	2	23	CARDINAL
bracis-28353	73	1	first	ORDINAL
bracis-28353	74	1	logica	PERSON
bracis-28353	74	2	\(\alpha	ORG
bracis-28353	75	1	27	CARDINAL
bracis-28353	75	2	\(\alpha	ORG
bracis-28353	76	1	two	CARDINAL
bracis-28353	78	1	2	CARDINAL
bracis-28353	79	1	3	CARDINAL
bracis-28353	80	1	4	CARDINAL
bracis-28353	80	2	\(\alpha	ORG
bracis-28353	80	3	22	CARDINAL
bracis-28353	80	4	5	CARDINAL
bracis-28353	81	1	6	CARDINAL
bracis-28353	82	1	2	CARDINAL
bracis-28353	82	2	5	CARDINAL
bracis-28353	83	1	23	CARDINAL
bracis-28353	84	1	ctl	ORG
bracis-28353	85	1	20	CARDINAL
bracis-28353	87	1	zero	CARDINAL
bracis-28353	89	1	4	CARDINAL
bracis-28353	91	1	ltl	ORG
bracis-28353	93	1	27	CARDINAL
bracis-28353	94	1	\(\alpha	ORG
bracis-28353	96	1	3	CARDINAL
bracis-28353	96	2	3.1	CARDINAL
bracis-28353	97	1	\(s_j\	ORG
bracis-28353	98	1	1	CARDINAL
bracis-28353	99	1	one	CARDINAL
bracis-28353	99	2	more than one	CARDINAL
bracis-28353	100	1	1	CARDINAL
bracis-28353	100	2	\(\mathbb	CARDINAL
bracis-28353	100	3	\(\mathbb	CARDINAL
bracis-28353	100	4	\(\mathbb	CARDINAL
bracis-28353	100	5	\(\mathbb	CARDINAL
bracis-28353	101	1	9	CARDINAL
bracis-28353	101	2	2^{\mathbb	DATE
bracis-28353	101	3	2^{s}\	CARDINAL
bracis-28353	102	1	\(\mathbb	CARDINAL
bracis-28353	110	1	2	CARDINAL
bracis-28353	111	1	\(s_0\	GPE
bracis-28353	113	1	9	CARDINAL
bracis-28353	114	1	3	CARDINAL
bracis-28353	116	1	21	CARDINAL
bracis-28353	117	1	6	CARDINAL
bracis-28353	118	1	4	CARDINAL
bracis-28353	119	1	s:(s	DATE
bracis-28353	120	1	21	CARDINAL
bracis-28353	121	1	5	CARDINAL
bracis-28353	124	1	\times	ORG
bracis-28353	125	1	3.2	CARDINAL
bracis-28353	127	1	6	CARDINAL
bracis-28353	128	1	\(\mathbb	CARDINAL
bracis-28353	128	2	\(\mathbb	CARDINAL
bracis-28353	128	3	2^\mathbb	CARDINAL
bracis-28353	128	4	\times	ORG
bracis-28353	129	1	7	CARDINAL
bracis-28353	131	1	m}\	DATE
bracis-28353	131	2	s_{1	PERSON
bracis-28353	131	3	\ge	ORG
bracis-28353	134	1	3.3	CARDINAL
bracis-28353	134	2	21	CARDINAL
bracis-28353	134	3	ctl	ORG
bracis-28353	137	1	\(\alpha	ORG
bracis-28353	138	1	8 (\(\alpha	CARDINAL
bracis-28353	140	1	\(\alpha	ORG
bracis-28353	140	2	21	CARDINAL
bracis-28353	141	1	m}\	DATE
bracis-28353	141	2	\(\mathbb	CARDINAL
bracis-28353	141	3	9	DATE
bracis-28353	142	1	m}\	DATE
bracis-28353	142	2	\(\mathbb	CARDINAL
bracis-28353	142	3	\(\rightarrow 2^{\mathbb	DATE
bracis-28353	142	4	2^{s}\	CARDINAL
bracis-28353	143	1	preimage	ORG
bracis-28353	144	1	10	CARDINAL
bracis-28353	147	1	11	CARDINAL
bracis-28353	149	1	\(\mathcal	ORG
bracis-28353	150	1	12	CARDINAL
bracis-28353	151	1	\(\mathbb	CARDINAL
bracis-28353	157	1	2	CARDINAL
bracis-28353	157	2	1	CARDINAL
bracis-28353	157	3	2	CARDINAL
bracis-28353	157	4	2	CARDINAL
bracis-28353	157	5	1	CARDINAL
bracis-28353	157	6	2	CARDINAL
bracis-28353	157	7	2	CARDINAL
bracis-28353	157	8	\(s_0\	GPE
bracis-28353	157	9	\(s_0\	GPE
bracis-28353	157	10	\(s_0\	GPE
bracis-28353	159	1	2.	CARDINAL
bracis-28353	160	1	3.4	CARDINAL
bracis-28353	161	1	10	CARDINAL
bracis-28353	161	2	24	CARDINAL
bracis-28353	164	1	18	CARDINAL
bracis-28353	165	1	18	CARDINAL
bracis-28353	166	1	1	CARDINAL
bracis-28353	167	1	3.5	CARDINAL
bracis-28353	167	2	\(\alpha	ORG
bracis-28353	169	1	\(\alpha	ORG
bracis-28353	170	1	17	CARDINAL
bracis-28353	170	2	1}\	CARDINAL
bracis-28353	171	1	3	CARDINAL
bracis-28353	173	1	3	CARDINAL
bracis-28353	173	2	4	CARDINAL
bracis-28353	175	1	4(a	CARDINAL
bracis-28353	176	1	first	ORDINAL
bracis-28353	176	2	4b	CARDINAL
bracis-28353	177	1	second	ORDINAL
bracis-28353	177	2	4c	CARDINAL
bracis-28353	178	1	\((s_2,a_6	PERSON
bracis-28353	178	2	s_3	GPE
bracis-28353	178	3	a_3	GPE
bracis-28353	179	1	second	ORDINAL
bracis-28353	180	1	17	CARDINAL
bracis-28353	181	1	\(\alpha	ORG
bracis-28353	182	1	1\	DATE
bracis-28353	182	2	17	CARDINAL
bracis-28353	184	1	4	CARDINAL
bracis-28353	185	1	4	CARDINAL
bracis-28353	186	1	first	ORDINAL
bracis-28353	187	1	\(\alpha	ORG
bracis-28353	188	1	27	CARDINAL
bracis-28353	191	1	4a	CARDINAL
bracis-28353	191	2	\(s_0\	GPE
bracis-28353	193	1	s_1	NORP
bracis-28353	193	2	a_2	ORG
bracis-28353	193	3	s_3,a_7)\	PERSON
bracis-28353	193	4	a_3	PERSON
bracis-28353	193	5	s_3	GPE
bracis-28353	193	6	a_7)\	GPE
bracis-28353	194	1	4.1	CARDINAL
bracis-28353	196	1	13	CARDINAL
bracis-28353	199	1	\(\forall k	PERSON
bracis-28353	200	1	14	DATE
bracis-28353	202	1	\(\alpha	ORG
bracis-28353	203	1	1	CARDINAL
bracis-28353	203	2	2	CARDINAL
bracis-28353	203	3	\(\forall k	PERSON
bracis-28353	207	1	\(\alpha	ORG
bracis-28353	207	2	\)-ctl	NORP
bracis-28353	207	3	\(s_i \ge 0\	PERSON
bracis-28353	211	1	5	CARDINAL
bracis-28353	211	2	\(\mathcal {p}_\pi \in s_{\mathcal	ORG
bracis-28353	212	1	1	CARDINAL
bracis-28353	213	1	\(\forall k	PERSON
bracis-28353	213	2	2	CARDINAL
bracis-28353	214	1	4.2	CARDINAL
bracis-28353	216	1	15	CARDINAL
bracis-28353	217	1	\(\mathbb	CARDINAL
bracis-28353	220	1	16	CARDINAL
bracis-28353	222	1	\(\alpha	ORG
bracis-28353	222	2	1	CARDINAL
bracis-28353	222	3	2	CARDINAL
bracis-28353	226	1	\)-ctl	NORP
bracis-28353	226	2	\(\mathcal	ORG
bracis-28353	226	3	\(s_0\	GPE
bracis-28353	229	1	5	CARDINAL
bracis-28353	230	1	1	CARDINAL
bracis-28353	231	1	\(\forall k	PERSON
bracis-28353	232	1	2	CARDINAL
bracis-28353	233	1	4.3	CARDINAL
bracis-28353	235	1	17	CARDINAL
bracis-28353	236	1	\(\mathbb	CARDINAL
bracis-28353	240	1	18	CARDINAL
bracis-28353	242	1	\(\alpha	ORG
bracis-28353	242	2	1	CARDINAL
bracis-28353	242	3	2	CARDINAL
bracis-28353	242	4	3	CARDINAL
bracis-28353	245	1	\ge 0)\	ORG
bracis-28353	247	1	\(\mathcal {p}_\pi \in s_{\mathcal	ORG
bracis-28353	248	1	1	CARDINAL
bracis-28353	249	1	\(s_0\	GPE
bracis-28353	249	2	\(\forall k	PERSON
bracis-28353	249	3	2	CARDINAL
bracis-28353	250	1	\(\alpha	ORG
bracis-28353	250	2	\ge	ORG
bracis-28353	250	3	\(s_0\	GPE
bracis-28353	251	1	3	CARDINAL
bracis-28353	252	1	5	CARDINAL
bracis-28353	258	1	28	CARDINAL
bracis-28353	258	2	\(\alpha	ORG
bracis-28353	259	1	16	CARDINAL
bracis-28353	260	1	45	CARDINAL
bracis-28353	261	1	1	CARDINAL
bracis-28353	264	1	1 to 8	CARDINAL
bracis-28353	264	2	6	CARDINAL
bracis-28353	265	1	9	CARDINAL
bracis-28353	265	2	14 and 19	DATE
bracis-28353	267	1	1	CARDINAL
bracis-28353	267	2	6	CARDINAL
bracis-28353	268	1	\(\alpha	ORG
bracis-28353	269	1	\(\alpha	ORG
bracis-28353	272	1	first	ORDINAL
bracis-28353	273	1	\(\alpha	ORG
bracis-28353	275	1	akers	PERSON
bracis-28353	275	2	s.b.	GPE
bracis-28353	280	1	509–516	CARDINAL
bracis-28353	280	2	1978	DATE
bracis-28353	280	3	j.a.	GPE
bracis-28353	280	4	bacchus	PERSON
bracis-28353	280	5	f.	PERSON
bracis-28353	280	6	s.a.	PERSON
bracis-28353	282	1	20th	ORDINAL
bracis-28353	282	2	1808–1815 (2007	DATE
bracis-28353	282	3	s.	PERSON
bracis-28353	282	4	s.a.	PERSON
bracis-28353	285	1	joint conf	ORG
bracis-28353	287	1	1790–1797	CARDINAL
bracis-28353	287	2	2009	DATE
bracis-28353	287	3	b.	PERSON
bracis-28353	287	4	rubin	GPE
bracis-28353	287	5	s.	PERSON
bracis-28353	288	1	arxiv preprint arxiv:1909.12135	ORG
bracis-28353	289	1	2019	CARDINAL
bracis-28353	289	2	camacho	GPE
bracis-28353	289	3	a.	PERSON
bracis-28353	289	4	triantafillou	GPE
bracis-28353	289	5	e.	PERSON
bracis-28353	289	6	j.a.	GPE
bracis-28353	289	7	s.a.	PERSON
bracis-28353	290	1	thirty-first	CARDINAL
bracis-28353	290	2	2017	CARDINAL
bracis-28353	290	3	a.	PERSON
bracis-28353	290	4	m.	PERSON
bracis-28353	290	5	m., traverso	PERSON
bracis-28353	291	1	artif	PERSON
bracis-28353	292	1	intell	PERSON
bracis-28353	293	1	35–84	CARDINAL
bracis-28353	293	2	2003	DATE
bracis-28353	293	3	m., clarke	PERSON
bracis-28353	293	4	j., grumberg	PERSON
bracis-28353	293	5	d.a.	PERSON
bracis-28353	296	1	314	CARDINAL
bracis-28353	296	2	1999	DATE
bracis-28353	296	3	a.e.	GPE
bracis-28353	296	4	d.	NORP
bracis-28353	296	5	a.	PERSON
bracis-28353	296	6	dimopoulos	PERSON
bracis-28353	296	7	fifth	ORDINAL
bracis-28353	296	8	pddl3	PERSON
bracis-28353	297	1	artif	PERSON
bracis-28353	298	1	intell	PERSON
bracis-28353	299	1	173(5–6	CARDINAL
bracis-28353	300	1	619–668	CARDINAL
bracis-28353	300	2	2009	DATE
bracis-28353	300	3	m., nau	PERSON
bracis-28353	300	4	d.	NORP
bracis-28353	300	5	traverso	PERSON
bracis-28353	301	1	2004	DATE
bracis-28353	301	2	hoffmann	PERSON
bracis-28353	301	3	j.:	PERSON
bracis-28353	303	1	22(3	CARDINAL
bracis-28353	303	2	57–57	CARDINAL
bracis-28353	303	3	2001	DATE
bracis-28353	303	4	hoffmann	PERSON
bracis-28353	303	5	j.	PERSON
bracis-28353	304	1	annual	DATE
bracis-28353	305	1	1–13	CARDINAL
bracis-28353	306	1	2011	DATE
bracis-28353	306	2	hsu	PERSON
bracis-28353	306	3	c.w.	PERSON
bracis-28353	306	4	b.w.	GPE
bracis-28353	306	5	huang	PERSON
bracis-28353	306	6	r.	NORP
bracis-28353	306	7	chen	PERSON
bracis-28353	308	1	1924–1929 (2007	DATE
bracis-28353	308	2	selman	PERSON
bracis-28353	310	1	99	CARDINAL
bracis-28353	311	1	318–325	CARDINAL
bracis-28353	311	2	1999	DATE
bracis-28353	311	3	kim	PERSON
bracis-28353	311	4	j.	PERSON
bracis-28353	311	5	c.j.	GPE
bracis-28353	311	6	shah	GPE
bracis-28353	311	7	j.a.	GPE
bracis-28353	312	1	thirty-first	CARDINAL
bracis-28353	312	2	2017	CARDINAL
bracis-28353	313	1	bull	ORG
bracis-28353	315	1	assoc	ORG
bracis-28353	316	1	theor	PERSON
bracis-28353	317	1	comput	PERSON
bracis-28353	318	1	sci	ORG
bracis-28353	319	1	53(268–272	CARDINAL
bracis-28353	319	2	30	CARDINAL
bracis-28353	319	3	1994	DATE
bracis-28353	321	1	eng	GPE
bracis-28353	321	2	2	CARDINAL
bracis-28353	321	3	125–143	CARDINAL
bracis-28353	321	4	1977	DATE
bracis-28353	321	5	de menezes	PERSON
bracis-28353	321	6	m.v.	GPE
bracis-28353	321	7	de barros	PERSON
bracis-28353	321	8	l.n.	GPE
bracis-28353	321	9	lago pereira	PERSON
bracis-28353	321	10	s.	PERSON
bracis-28353	321	11	2014	DATE
bracis-28353	321	12	menezes	ORG
bracis-28353	321	13	maria viviane de:	PERSON
bracis-28353	321	14	problemas de planejamento	ORG
bracis-28353	321	15	2014	DATE
bracis-28353	322	1	f. ph.d	PERSON
bracis-28353	323	1	de são paulo	PERSON
bracis-28353	323	2	são paulo	PERSON
bracis-28353	323	3	2014	DATE
bracis-28353	323	4	c.j.	GPE
bracis-28353	323	5	s.a.	GPE
bracis-28353	323	6	beck	PERSON
bracis-28353	324	1	twenty-second	CARDINAL
bracis-28353	324	2	2012	DATE
bracis-28353	324	3	f.	PERSON
bracis-28353	324	4	a.e.	GPE
bracis-28353	325	1	29	CARDINAL
bracis-28353	326	1	320–328	CARDINAL
bracis-28353	326	2	2019	DATE
bracis-28353	327	1	planejamento	PERSON
bracis-28353	327	2	para metas de alcancabilidade estendidas	PERSON
bracis-28353	328	1	ph.d	ORG
bracis-28353	329	1	thesis	PERSON
bracis-28353	329	2	de são paulo	PERSON
bracis-28353	329	3	são paulo	PERSON
bracis-28353	329	4	2007	DATE
bracis-28353	329	5	pereira	GPE
bracis-28353	329	6	s.l.	GPE
bracis-28353	329	7	de barros	PERSON
bracis-28353	329	8	l.n.	GPE
bracis-28353	330	1	auton	PERSON
bracis-28353	332	1	syst	ORG
bracis-28353	333	1	16(3	CARDINAL
bracis-28353	333	2	327–344	CARDINAL
bracis-28353	333	3	2008	DATE
bracis-28353	333	4	n.	ORG
bracis-28353	334	1	2018	DATE
bracis-28353	334	2	j.:	PERSON
bracis-28353	335	1	2008	DATE
bracis-28353	336	1	568–572	CARDINAL
bracis-28353	337	1	2008	DATE
bracis-28353	337	2	g.r.	GPE
bracis-28353	337	3	basu	PERSON
bracis-28353	337	4	s.	PERSON
bracis-28353	338	1	artif	PERSON
bracis-28353	339	1	intell	PERSON
bracis-28353	340	1	mach	PERSON
bracis-28353	342	1	1–154	CARDINAL
bracis-28353	342	2	2016	CARDINAL
bracis-28353	342	3	santos, r.m.d	PERSON
bracis-28353	343	1	especificação de preferências de planos usando metas	ORG
bracis-28353	343	2	estendidas na lógica	PERSON
bracis-28353	343	3	2019	DATE
bracis-28353	343	4	santos	PERSON
bracis-28353	343	5	barros, l.n.d.	GPE
bracis-28353	343	6	pereira	GPE
bracis-28353	343	7	menezes	ORG
bracis-28353	344	1	2022	CARDINAL
bracis-28353	344	2	dos santos	PERSON
bracis-28353	344	3	de barros	PERSON
bracis-28353	344	4	l.n.	GPE
bracis-28353	344	5	de menezes	PERSON
bracis-28353	344	6	m.v.	GPE
bracis-28353	345	1	2019 8th	DATE
bracis-28353	346	1	168–173	CARDINAL
bracis-28353	347	1	2019	CARDINAL
bracis-28353	347	2	brazil	GPE
bracis-28353	347	3	carlos costa machado	ORG
bracis-28353	347	4	de são paulo	PERSON
bracis-28353	347	5	são paulo	PERSON
bracis-28353	347	6	brazil	GPE
bracis-28353	347	7	dos santos & leliane nunes de barros universidade	PERSON
bracis-28353	347	8	quixadá	GPE
bracis-28353	347	9	brazil	GPE
bracis-28353	347	10	maria viviane de menezes	PERSON
bracis-28353	347	11	carlos costa machadoview	ORG
bracis-28353	347	12	viviane bonadia	PERSON
bracis-28353	347	13	leliane nunes de barrosview	PERSON
bracis-28353	347	14	maria viviane de menezesview	PERSON
bracis-28353	347	15	carlos costa machado	PERSON
bracis-28353	348	1	university of são carlos	ORG
bracis-28353	348	2	são carlos	PERSON
bracis-28353	348	3	brazil	GPE
bracis-28353	348	4	c. naldi centro universitario da fei	ORG
bracis-28353	348	5	são bernardo	PERSON
bracis-28353	348	6	campo	ORG
bracis-28353	348	7	brazil	GPE
bracis-28353	348	8	reinaldo a. c. bianchi	PERSON
bracis-28353	348	9	2023	CARDINAL
bracis-28353	348	10	switzerland ag	ORG
bracis-28353	348	11	dos santos	PERSON
bracis-28353	348	12	v.b.	GPE
bracis-28353	348	13	de barros	PERSON
bracis-28353	348	14	l.n.	GPE
bracis-28353	348	15	de menezes	PERSON
bracis-28353	348	16	m.v.	GPE
bracis-28353	349	1	2023	CARDINAL
bracis-28353	351	1	naldi	ORG
bracis-28353	351	2	m.c.	GPE
bracis-28353	351	3	bianchi	GPE
bracis-28353	352	1	bracis 2023	ORG
bracis-28353	353	1	14195	DATE
bracis-28353	356	1	12	CARDINAL
bracis-28353	356	2	2023	CARDINAL
bracis-28353	356	3	978	CARDINAL
bracis-28353	356	4	978	CARDINAL
bracis-28353	357	1	bmc palgrave macmillan	ORG
bracis-28353	358	1	129.74.145.123	CARDINAL
bracis-28353	358	2	3005732405	CARDINAL
bracis-28353	358	3	8200828607	DATE
bracis-28353	358	4	3006206169	CARDINAL
bracis-28353	358	5	university of notre dame hesburgh	ORG
bracis-28353	358	6	3000184373	DATE
bracis-28353	359	1	2025	CARDINAL